Knowledge-Guided Methodology for Specification Analysis
Bhanu Pratap Singh, Arunprasath Shankar, Yuriy Shiyanovskii, Francis Wolff, C. Papachristou, Daniel Weyer, Steve Clay, Jim Morrison · 2013
The number of Soft-IP vendors and designsbecoming available on the global market is growing at aphenomenal rate. The current practice of evaluating Soft IPsusing their specification is a time consuming manual process. A specification document is primarily written in English, which serves as a common language for internal product development teams as well as customers. Designers have a preference for writing specifications in an informal natural language using text and notations, including diagrams, charts and tables. The lack of formality of specification documents is a limiting factor intheir analysis. The current state-of-the-art in hardware design lacks any specification analysis technique. In this paper, we present a knowledge-guided methodology for specification analysis that can automatically analyze specification documents. Our approach avoids formal specification. Instead we rely on domain-based ontologies to capture design behavior. We tested our approach by analyzing floating point specification from several third party IP vendors. We define spec coverage and requirement coverage metrics to quantify our results.