Formal Hardware Verification of InfoSec Primitives.
M. Mohamed Asan BasiriSandeep K. ShuklaPublished in: ISVLSI (2019)
Keyphrases
- formal methods
- low cost
- real time
- hardware and software
- formal analysis
- model checking
- hardware designs
- formal verification
- formal specification
- hardware implementation
- computer systems
- low level
- hardware architecture
- high level
- formal model
- computing systems
- asynchronous circuits
- verification method
- formal models
- neural network
- high end
- building blocks
- computational power
- embedded systems
- formal language
- input output
- digital signal processor
- image processing
- functional verification