Reports from University of Michigan Describe Recent Advances in Design Automation

摘要

2011 JUL 11 - (VerticalNews.com) -- According to the authors of recent researchrnpublished in the journal Acm Transactions on Design Automation of Electronic Systems,rn"Functional verification of modern digital designs is a crucial, time-consuming task impactingrnnot only the correctness of the final product, but also its time to market. At the heart of most ofrntoday's verification efforts is logic simulation, used heavily to verify the functional correctnessrnof a design for a broad range of abstraction levels."