Application of formal word-level analysis to constrained random simulation: Tool paper

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5123 LNCS, Issue , 2008, Pages 487-490

  Kim, Hyondeuk ^a,b   Jin, Hoonsang ^b   Ravi, Kavita ^b   Spacek, Petr ^b   Pierce, John ^b   Kurshan, Bob ^b   Somenzi, Fabio ^a  

^a UNIVERSITY OF COLORADO   (United States)

^b CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER AIDED ANALYSIS; DATA STRUCTURES; DIGITAL SIGNAL PROCESSING; FILE ORGANIZATION; STATIC ANALYSIS;

ANALYSIS TOOLS; BOOLEAN VARIABLES; COMPUTER AIDED VERIFICATION; CONSTRAINED-RANDOM SIMULATION; CONSTRAINT SOLVERS; INTERNATIONAL CONFERENCES; MEMORY EFFICIENT; SIMULATION PERFORMANCE; STATIC ANALYSIS TECHNIQUES;

BINARY DECISION DIAGRAMS;

EID: 48949097773     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70545-1_46     Document Type: Conference Paper

References (3)

1. Kim, H., Somenzi, F.: Finite instantiations for integer difference logic. In: Formal Methods in Computer Aided Design (FMCAD 2006), San Jose, CA, pp. 31-38 (November 2006)
2. Kitchen, N., Kuelhmann, A.: Stimulus generation for constrainted random simulation. In: ICCAD (2007)
3. Yuan, J., Shultz, K., Pixley, C.,Miller, H., Aziz, A.: Modeling design constraints and biasing in simulation using bdds. In: ICCAD, pp. 584-590 (1999)