Design of data abstraction structure for MDG-HOL hybrid tool
We have proposed design and implementation of a data abstraction structure that will result in extension to an existing Hybrid hardware verification tool so that it empowers to handle larger data paths automatically. Interactive and user-expertise-dependent theorem proving techniques are well suite...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2005
|
| Online Access: | http://spectrum.library.concordia.ca/8525/1/MR20749.pdf Hasan, SM Musabbir <http://spectrum.library.concordia.ca/view/creators/Hasan=3ASM_Musabbir=3A=3A.html> (2005) Design of data abstraction structure for MDG-HOL hybrid tool. Masters thesis, Concordia University. |