From lattices to practical formal hardware verification.
Carl-Johan H. SegerPublished in: PROCOMET (1998)
Keyphrases
- formal methods
- hardware and software
- formal analysis
- image processing
- real time
- hardware designs
- low cost
- real world
- hardware implementation
- parallel hardware
- asynchronous circuits
- formal model
- boolean algebra
- data mining
- general purpose
- model checking
- formal verification
- mathematical foundations
- hardware architecture
- software implementation
- computing power
- verification method
- massively parallel