Logic Verification of Ultra-Deep Pipelined Beyond-CMOS Technologies.
Arash FayyaziShahin NazarianMassoud PedramPublished in: CoRR (2020)
Keyphrases
- asynchronous circuits
- high speed
- delay insensitive
- verification method
- model checking
- bounded model checking
- power consumption
- classical logic
- random access memory
- model checker
- predicate logic
- emerging technologies
- modal logic
- logic programming
- multi valued
- automated reasoning
- circuit design
- formal verification
- analog vlsi
- data mining
- real time
- power supply
- formal methods
- st century
- web intelligence
- artificial intelligence