Verification of a Microprocessor Using Real World Applications.
You-Sung ChangSeungjong LeeIn-Cheol ParkChong-Min KyungPublished in: DAC (1999)
Keyphrases
- real world
- functional verification
- synthetic data
- case study
- model checking
- data mining
- wide range
- real life
- data sets
- asynchronous circuits
- high speed
- image processing
- information retrieval
- real time
- search algorithm
- expert systems
- data structure
- learning algorithm
- genetic algorithm
- design methodology
- formal verification