Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation.
Miroslav N. VelevRandal E. BryantPublished in: ACSD (1998)
Keyphrases
- verification method
- simulation environment
- data flow
- simulation model
- mathematical model
- personal computer
- point correspondences
- model checking
- multiscale
- multi agent systems
- object recognition
- data sets
- face recognition
- case study
- web services
- website
- genetic algorithm
- simulation models
- connectionist models
- neural network