Export Citations
1 Results for: Keyword: rendering software
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,749,291 records)|Limit your search to The ACM Full-Text Collection (755,707 records)
- panelJune 2008
Verifying really complex systems: on earth and beyond
DAC '08: Proceedings of the 45th annual Design Automation ConferenceJune 2008, Pages 552–553https://doi.org/10.1145/1391469.1391608Functional verification is a major part of the effort to design electronic systems. Over the years, EDA has developed a suite of tools and methods to address the verification challenges by a patchwork of approaches. However, as the system complexity ...