Invention Grant
US09189581B2 Equivalence checking between two or more circuit designs that include division circuits
有权
包含分割电路的两个或多个电路设计之间的等效性检查
- Patent Title: Equivalence checking between two or more circuit designs that include division circuits
- Patent Title (中): 包含分割电路的两个或多个电路设计之间的等效性检查
-
Application No.: US13665827Application Date: 2012-10-31
-
Publication No.: US09189581B2Publication Date: 2015-11-17
- Inventor: Himanshu Jain , Carl P. Pixley
- Applicant: Synopsys, Inc.
- Applicant Address: US CA Mountain View
- Assignee: SYNOPSYS, INC.
- Current Assignee: SYNOPSYS, INC.
- Current Assignee Address: US CA Mountain View
- Agency: Park, Vaughan, Fleming & Dowler LLP
- Agent Laxman Sahasrabuddhe
- Main IPC: G06F17/50
- IPC: G06F17/50 ; G06F11/00 ; G06F7/02 ; G06F9/455
Abstract:
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.
Public/Granted literature
Information query
