Ontology for Hardware Modeling

Overview

The Ontology for Hardware Modeling is an ontology-based approach to describing hardware functionality and verification expertise for simulation-based functional verification. It represents architectural knowledge, functional behavior, validity rules, and expert testing knowledge in a mostly declarative form, and translates these models into constraint satisfaction problems (CSPs) for automated stimuli generation.^[1]