专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20080082946A1 AUTOMATA UNIT, A TOOL FOR DESIGNING CHECKER CIRCUITRY AND A METHOD OF MANUFACTURING HARDWARE CIRCUITRY INCORPORATING CHECKER CIRCUITRY 有权
标题翻译： AUTOMATA UNIT，用于设计检查电路的工具和制造检查电路的硬件电路的制造方法
公开(公告)号：US20080082946A1
公开(公告)日：2008-04-03
申请号：US11864030
申请日：2007-09-28
申请人： Zeljko Zilic , Marc Boule
发明人： Zeljko Zilic , Marc Boule
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： The present invention relates to an automata unit, a tool for designing circuitry and/or checker circuitry, and a method for manufacturing hardware circuitry. The automata unit includes an input unit for receiving assertions using Boolean expressions, an automata generator for translating the assertions into automata, and an automata adaptor. The automata generator uses a dual layer symbolic alphabet for representing the assertions, and the automata adaptor adapts automata algorithms so as to support the symbolic alphabet in the generated automata. The tools for designing circuitry and checker circuitry rely on the automata unit, and further include an assertion unit and either a circuit generator or a checker generator.
摘要翻译：本发明涉及自动机单元，用于设计电路和/或检查器电路的工具，以及用于制造硬件电路的方法。自动机单元包括用于使用布尔表达式接收断言的输入单元，用于将断言转换为自动机的自动机发生器和自动机适配器。自动机发生器使用双层符号字母表来表示断言，并且自动机适配器适应自动机算法，以支持生成的自动机中的符号字母表。用于设计电路和检查电路的工具依赖于自动机单元，并且还包括断言单元和电路发生器或检验发生器。

IPRDB

热门服务

关于我们

友情链接

联系方式