Export Citations
1 Results for: Keyword: Design Intent Coverage
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,835,059 records)|Limit your search to The ACM Full-Text Collection (773,309 records)
Showing 1 - 1of1 Results
Select All
- research-articleJanuary 2009
Design intent coverage revisited
ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 14, Issue 1Article No.: 9, Pages 1–32https://doi.org/10.1145/1455229.1455238Design intent coverage is a formal methodology for analyzing the gap between a formal architectural specification of a design and the formal functional specifications of the component RTL blocks of the design. In this article we extend the design intent ...
