The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Nov. 14, 2017
Filed:
Dec. 31, 2014
Cadence Design Systems, Inc., San Jose, CA (US);
Caio Araujo Texeira Campos, Belo Horizonte, BR;
Tamires Vargas Campanema Franco Santos, Belo Horizonte, BR;
Andrea Iabrudi Tavares, Belo Horizonte, BR;
Fabiano Peixoto, Belo Horizonte, BR;
Claudionor Jose Nunes Coelho, Jr., Nova Lima, BR;
Cadence Design Systems Inc., San Jose, CA (US);
Abstract
Various mechanisms identify an electronic design model and determine a data propagation diagram by receiving a set of path property sources or destinations, determine a set of helper properties for the data propagation diagram by traversing at least a portion of the data propagation diagram, and verify the electronic design model by examining one or more helper properties and determining verification of the one or more helper properties leads to concrete results to generate verification results. Data propagation diagrams may be annotated with verification results to show verification progresses, highlight sources of complexity, and be further synchronized with waveform displays of one or more traces. Search space may be trimmed during a verification flow to enhance performance of verification engine(s). New start states closer to the final state than the default state may be identified during verification and used to enhance performance of the verification engine.