Deriving a simulation input generator and a coverage metric from a formal specification

Proceedings - Design Automation Conference

Volumn , Issue , 2002, Pages 801-806

  Shimizu, Kanna ^a   Dill, David L ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

BDD minimization; Coverage; Input generation; Testhench

Indexed keywords

COMPUTER SIMULATION; INPUT OUTPUT PROGRAMS; INTERFACES (COMPUTER); NETWORK PROTOCOLS;

BINARY DECISION DIAGRAMS (BDD);

DIGITAL CIRCUITS;

EID: 0036048216     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/514117.514118     Document Type: Conference Paper

References (11)

1. Graph-based algorithms for boolean function manipulation
2. Synthesis of synchronization skeletons for branching time temporal logic
3. Executable protocol specification in ESL
4. Counterexample-guided choice of projections in approximate symbolic model checking
5. The stanford FLASH multiprocessor
6. A specification methodology by a collection of compact properties as applied to the intel itanium processor bus protocol
7. Monitor-based formal specification of PCI
8. Modeling design constraints and biasing in simulation using BDDs