-
公开(公告)号：US10162917B1
公开(公告)日：2018-12-25
申请号：US15282936
申请日：2016-09-30
Applicant: Cadence Design Systems, Inc.
Inventor： Fabiano Peixoto , Benjamin Chen , Chung-Wah Norris Ip , Björn Håkan Hjort
IPC: G06F17/50
Abstract: Disclosed is an improved approach to implement selective transformations of circuit components for performing verification. The approach looks at the observability of components to downstream properties to determine whether transformations are needed. The verification system leverages the knowledge about the behavior of the domains/components to identify only a subset of components that really need to undergo transformation.
Search Results
1
records
(took 0.011 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
