DocumentCode :
2104655
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
fYear :
1998
fDate :
19-19 June 1998
Firstpage :
808
Lastpage :
811
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 1998. Proceedings
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-89791-964-5
Type :
conf
Filename :
724582
Link To Document :
بازگشت