Patent · US Active

System and method for automatically generating coverage constructs and constraint solver distributions

US8904321B1 · kind B1 · utility

12Cited by
2References
17Claims
0Family size

Assignee

Inventors

Key dates

Filing dateNov 6, 2012
Grant dateDec 2, 2014
Priority date
Expiry dateNov 6, 2032

Classification

  • Technology area (CPC G)Physics
  • CPC primaryG06F2111/04
  • WIPO fieldComputer technology
  • WIPO sectorElectrical engineering

Abstract

The present disclosure relates to a computer-implemented method for electronic design simulation. The method may include providing, using at least one computing device, an electronic design and associating, using the at least one computing device, one or more identifiers with each constraint solver call utilized in a simulation of the electronic design. The method may further include automatically generating, using the at least one computing device, a coverage model for one of more constraints associated with the electronic design, the coverage model being based upon, at least in part, the one or more identifiers.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.