发明申请
US20140033151A1 EQUIVALENCE CHECKING BETWEEN TWO OR MORE CIRCUIT DESIGNS THAT INCLUDE DIVISION AND/OR SQUARE ROOT CIRCUITS
有权
两个或更多电路设计之间的等效检查，包括部分和/或平方根电路
- 专利标题： EQUIVALENCE CHECKING BETWEEN TWO OR MORE CIRCUIT DESIGNS THAT INCLUDE DIVISION AND/OR SQUARE ROOT CIRCUITS
- 专利标题（中）： 两个或更多电路设计之间的等效检查，包括部分和/或平方根电路
-
申请号： US13665827申请日： 2012-10-31
-
公开(公告)号： US20140033151A1公开(公告)日： 2014-01-30
- 发明人: Himansu Jain , Carl P. Pixley
- 申请人： SYNOPSYS, INC.
- 申请人地址： US CA Mountain View
- 专利权人： SYNOPSYS, INC.
- 当前专利权人： SYNOPSYS, INC.
- 当前专利权人地址： US CA Mountain View
- 主分类号： G06F17/50
- IPC分类号： G06F17/50
摘要：
Methods and apparatuses are described for proving equivalence between two or more circuit designs that include one or more division circuits and/or one or more square-root circuits. Some embodiments analyze the circuit designs to determine an input relationship between the inputs of two division (or square-root) circuits. Next, the embodiments determine an output relationship between the outputs of two division (or square-root) circuits based on the input relationship. The embodiments then prove equivalence between the circuit designs by using the input and output relationships.
公开/授权文献
信息查询
