Abstract
An efficient hardware-software co-verification methodology is essential in the design of systems on boards (SOB) and systems on chips (SOC). The increasing complexity of hardware and software makes the challenge of their integration more difficult than ever. This paper addresses the correctness verification of mixed hardware-software systems prior to IC fabrication. It presents the requirements of an efficient verification methodology, the multilevel co-verification approach, and a wide set of co-verification models based on different techniques like co-simulation, in circuit emulation, and hardware emulation. For each model, we present its advantages, its restrictions, and its implementation techniques. Then we study the factors that drive the co-simulation performance and we show how to fairly estimate this performance for different configurations.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
