Simulation Pattern Capturing System for Design Verification Using a Dynamic High Speed Functional Tester (DHSFT).
David FlorcikDavid LowPublished in: ITC (1983)
Keyphrases
- high speed
- functional verification
- simulation model
- simulation environment
- simulation tools
- engineering design
- case study
- design space
- optimal design
- design decisions
- hardware software
- discrete event simulation
- simulation tool
- formal verification
- signature verification
- design methodology
- design principles
- model checking
- pattern matching
- test cases
- design process
- dynamic environments
- data structure