Loading patent…
AssigneeTaiwan Semiconductor Manufacturing Company, Ltd.
InventorsChao-Chun Lo, Boh-Yi Huang, Chih-yuan Stephen Yu
Estimating the term…
Systems and methods are described herein for attribute-point-based timing formal verification of application specific integrated circuit (ASIC) and system on chip (SoC) designs. A target circuit design having a first set of netlists and timing constraints is received. A plurality of key clock-pin-net-load-setting attributes are extracted from the first ported netlists and timing constraints. The clock-pin-net-load-setting attribute mismatch in the result report is checked between the target circuit design and a golden circuit design by comparing the plurality of target attributes with a plurality of golden attributes of the golden circuit design after the target design database is loaded for static timing analysis (STA). The attribute mismatch is provided for further design or timing constraint modifications and/or updates using this approach, particularly timing formal verification, at the target technology in order to enable efficient design timing sign-off based on ported netlists and synthesis design constraints (SDC).
A method comprising:
A non-transitory computer program product storing instructions which, when executed by at least one data processor forming part of at least one computing device result in operations comprising:
A system comprising:
Dependencies are inferred from the claim text.