Integration of HOL and MDG for hardware verification
With the ever increasing complexity of the design of digital systems and the size of the circuits in VLSI technology, the role of design verification has gained a lot of importance. Theorem Proving based verification and Decision Diagram based verification are now-a-days the two main techniques used...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2000
|
| Online Access: | http://spectrum.library.concordia.ca/1092/1/MQ47830.pdf Pisini, Vijay Kumar <http://spectrum.library.concordia.ca/view/creators/Pisini=3AVijay_Kumar=3A=3A.html> (2000) Integration of HOL and MDG for hardware verification. Masters thesis, Concordia University. |