Hierarchical Verification Using an MDG-HOL Hybrid Tool
by
Iskander Kort
,
Sofiène Tahar
,
Paul Curzon
| Citations: | 8 - 2 self |
BibTeX
@MISC{Kort_hierarchicalverification,
author = {Iskander Kort and Sofiène Tahar and Paul Curzon},
title = {Hierarchical Verification Using an MDG-HOL Hybrid Tool},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 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.
