Introduction to the Special Issue on Verification of Arithmetic Hardware.
Steven M. GermanPublished in: Formal Methods Syst. Des. (1999)
Keyphrases
- hardware designs
- low cost
- hardware and software
- real time
- computer systems
- hardware implementation
- model checking
- case study
- image processing
- signature verification
- computing power
- face verification
- computing systems
- data acquisition
- massively parallel
- neural network
- efficient implementation
- computing platform
- processing capabilities
- hardware design
- formal verification
- hardware software
- programmable logic
- digital signal processor
- database