Kort, Skander, Tahar, Sofiène and Curzon, Paul (2003) Hierarchical formal verification using a hybrid tool. International Journal on Software Tools for Technology Transfer (STTT), 4 (3). pp. 313-322. ISSN 1433-2779
Preview |
Text (application/pdf)
202kBSTTT-2003-1.pdf - Accepted Version |
Official URL: http://dx.doi.org/10.1007/s10009-002-0082-5
Abstract
We describe a hybrid formal hardware verification tool that links the HOL interactive proof system and the MDG automated hardware verification tool. It supports a hierarchical verification approach that mirrors the hierarchical structure of designs. We obtain the advantages of both verification paradigms. We illustrate its use by considering a component of a communications chip. Verification with the hybrid tool is significantly faster and more tractable than using either tool alone.
| Divisions: | Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering |
|---|---|
| Item Type: | Article |
| Refereed: | Yes |
| Authors: | Kort, Skander and Tahar, Sofiène and Curzon, Paul |
| Journal or Publication: | International Journal on Software Tools for Technology Transfer (STTT) |
| Date: | 2003 |
| Digital Object Identifier (DOI): | 10.1007/s10009-002-0082-5 |
| Keywords: | HOL (higher-order logic) – MDG (multiway decision graphs) – Hybrid tools – Hierarchical verification |
| ID Code: | 977383 |
| Deposited By: | Danielle Dennie |
| Deposited On: | 14 Jun 2013 16:09 |
| Last Modified: | 18 Jan 2018 17:44 |
Repository Staff Only: item control page
Download Statistics
Download Statistics