Monitoring coverage for static modelling of an electronic device
作者： Huy Nguyen , Alan J. Carlin , Hugo M. Cavalcanti
DOI:
关键词:
摘要: A design verification system automatically identifies coverage of different constraints for a static model an electronic device. The can be employed by tool, referred to as solver, that whether the mathematical relationships reconciled, given set user-defined indicate desired configuration, or range configurations, After solution particular has been identified, adjustment module identify, based on information generated if other sets were implicitly solved solver. If such solved, adjustments mark they will omitted from used subsequent solutions
lens.org 参考文章(23)
Robert Eldredge Currie, Assimakis Tzamaloukas, System and method for identifying portions of roads ,(2008)
Michael Thomas York Mcnamara, David Todd Massey, Chong Guan Tan, System and method for automated design verification ,(1998)
Amos Noy, Method and apparatus for maximizing test coverage ,(2001)
Jeffrey Hammes, Lisa Krause, Jon Steidel, Daniel Poznanovic, System and method for partitioning control-dataflow graph representations ,(2003)
Sobeeh A. Almukhaizim, Ozgur Sinanoglu, Circuit and method for increasing scan cell observability of response compactors ,(2009)
Ozgur Sinanoglu, Architecture, system, method, and computer-accessible medium for toggle-based masking ,(2012)
Shady Copty, Query-based generation of data records ,(2012)
R. Arora, M.S. Hsiao, Enhancing SAT-based equivalence checking with static logic implications high level design validation and test. pp. 63- 68 ,(2003) , 10.1109/HLDVT.2003.1252476
Wojciech Szermer, Method for automated generation of tests for software ,(1997)
John A. Darringer, Florian Krohm, Daniel Brand, Method and apparatus for finding errors in software programs using satisfiability of constraints ,(2002)