About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
SEKE 2010
Conference paper
Ontology-based tools in the service of hardware verification
Abstract
By using an ontology-based approach as the underlying scheme of hardware verification tools, knowledge about the specific design under test (DUT) is kept separate from the tool's generic service engine. This separation enables tools to easily adapt to new DUTs. In this paper, we discuss how we successfully adopted an ontology-based approach to the development of hardware verification tools. We also present ClassMate, an ontology modeling platform developed and used in IBM that is especially suited to support hardware verification ontologies. The ontology-based approach has boosted the impact of IBM's hardware verification tools by facilitating reuse - enabling adaptation to a large number of complex DUTs including several generations of the same design, lowering maintenance costs per DUT, and driving the accumulation of deep domain knowledge.