Title :
Clearing the clutter: Unified modeling and verification methodology for system level hardware design
Author :
Watanabe, Yosinori ; Swan, Stuart
Author_Institution :
Cadence Design Syst., Berkeley, CA, USA
Abstract :
The state-of-the-art design practice for complex SoCs employs multiple models of hardware components with different use cases. The cost of building and maintaining those models is high, and verifying the consistency among those models is time consuming. This paper highlights needs and issues of creating these models, and presents emerging approaches for developing solutions to address the issues.
Keywords :
formal verification; integrated circuit design; system-on-chip; clutter clearance; complex SoC design; hardware component model; system level hardware design; unified modeling; verification methodology; Clutter; Computational modeling; Hardware; Software; Solid modeling; System-on-a-chip; Timing;
Conference_Titel :
Formal Methods and Models for Codesign (MEMOCODE), 2012 10th IEEE/ACM International Conference on
Conference_Location :
Arlington, VA
Print_ISBN :
978-1-4673-1314-8
DOI :
10.1109/MEMCOD.2012.6292296