Using the State Delta Verification System (SDVS) for Hardware Verification.
Beth LevyIvan FilippenkoLeo MarcusTelis MenasPublished in: TPCD (1992)
Keyphrases
- model checking
- formal verification
- low cost
- face verification
- general purpose
- hardware designs
- databases
- asynchronous circuits
- signature verification
- hardware and software
- state space
- database systems
- neural network
- mobile devices
- multiscale
- hardware implementation
- face recognition
- computing power
- image processing
- data mining
- concurrent systems