Title :
HW/SW CoVerification performance estimation and benchmark for a 24 embedded RISC core design
Author :
Albrecht, Thomas W. ; Notbauer, Johann ; Rohringer, Stefan
Author_Institution :
Siemens, Vienna, Austria
Abstract :
This paper describes the benchmarking of a HW/SW-coverification design strategy. The benchmark results were the base for making a principal verification decision for an already ongoing project at Siemens AG, Public Communication Network Group. The intention for this benchmark was to verify whether commercial available coverification tools can handle the design complexity of an embedded system containing 24 embedded RISC cores and provides the necessary performance in terms of simulation speed and throughput.
Keywords :
formal verification; high level synthesis; performance evaluation; reduced instruction set computing; HW/SW-coverification; Siemens AG; design complexity; embedded system; verification decision; Application specific integrated circuits; Communication networks; Embedded system; Hardware design languages; Permission; Protocols; Reduced instruction set computing; SDRAM; Signal design; Throughput;
Conference_Titel :
Design Automation Conference, 1998. Proceedings
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-89791-964-5