Login | Register

Hierarchical formal verification using a hybrid tool

Title:

Hierarchical formal verification using a hybrid tool

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

[img]
Preview
Text (application/pdf)
STTT-2003-1.pdf - Accepted Version
202kB

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
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Back to top Back to top