公开(公告)号：US08001499B1

公开(公告)日：2011-08-16

申请号：US12053481

申请日：2008-03-21

申请人： Greg William Baeckler ,  David W. Mendel ,  Michael D. Hutton

发明人： Greg William Baeckler ,  David W. Mendel ,  Michael D. Hutton

IPC分类号： G06F17/50

CPC分类号： G06F17/505 ,  G06F17/5054

摘要： A pragma is used to pass circuit type information to a Computer Aided design (CAD) tool. The CAD tool then selects an alternate synthesis or timing algorithm based on the circuit type, and a circuit design for use in an electronic device is created. Practical applications include using alternate algorithms specific to different circuit types, such as, Cyclic Redundancy Checks (CRC), bus arbiters, state machine encoders, barrel shifters, preferential cores, and legacy circuits. One embodiment generates informative messages for the designer once the circuit type is known and the analysis is performed. Another embodiment generates pragmas that can be later used by circuit designers in future circuit designs.

摘要翻译： 使用编译指令将电路类型信息传递到计算机辅助设计（CAD）工具。 然后，CAD工具基于电路类型选择替代合成或定时算法，并且创建用于电子设备的电路设计。 实际应用包括使用特定于不同电路类型的替代算法，例如循环冗余校验（CRC），总线仲裁器，状态机编码器，桶形移位器，优先核心和传统电路。 一旦实施了电路类型并且执行了分析，一个实施例为设计者生成信息性消息。 另一个实施例产生可以在将来的电路设计中由电路设计者稍后使用的编译指示。

公开(公告)号：US07757189B1

公开(公告)日：2010-07-13

申请号：US11489013

申请日：2006-07-18

申请人： Bruce Pedersen ,  Greg William Baeckler

发明人： Bruce Pedersen ,  Greg William Baeckler

IPC分类号： G06F17/50

CPC分类号： G06F17/505

摘要： Redundant elements of digital designs, including digital designs with registered feedback, are identified and removed. The nodes of a design are assigned initial labels. The design is analyzed by selecting nodes associated with each label and identifying any equivalent nodes or complementary nodes to the selected node. Nodes are equivalent if they perform the same or complementary functions on input nodes assigned to the same labels. The selected node and its equivalent node, if any, are reassigned to the same label. Two or more complementary nodes are modified so that they have the same output. This analysis is repeated until all of the labels and associated nodes have been analyzed and there are no labels and associated nodes in need of further analysis. Following this analysis, equivalent nodes in the digital design will share the same label and all but one node with each label can be removed.

摘要翻译： 数字设计的冗余元素，包括具有注册反馈的数字设计，被识别和删除。 设计的节点被分配初始标签。 通过选择与每个标签相关联的节点并且将所选节点的任何等效节点或互补节点识别来分析设计。 如果节点在分配给相同标签的输入节点上执行相同或互补的功能，则节点是相同的。 所选节点及其等效节点（如果有的话）被重新分配给相同的标签。 修改两个或多个互补节点，使其具有相同的输出。 重复此分析，直到所有标签和相关节点都被分析，并且没有标签和相关节点需要进一步分析。 经过分析，数字设计中的等效节点将共享相同的标签，除了一个节点之外，每个标签都可以被删除。