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