HW/SW CoVerification Performance Estimation & Benchmark for a 24 Embedded RISC Core Design
نویسندگان
چکیده
This paper describes the benchmarking of a HW/SWcoverification 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.
منابع مشابه
Multithreading-based Coverification Technique of HW/SW Systems
An embedded system consists of a set of heterogeneous components. These components may be software or hardware blocks with a limited specification. A global verification of such systems to check the equivalence between their implementation and their specification is challenging. Number of tools such as Seamless-CVE and Eaglei are now available. These tools perform the coverification of HW/SW sy...
متن کاملProperties Coverification for HW/SW Systems
The coverification of a given HW/SW system consists of checking whether the implementation of the software and hardware parts and their integration fulfill or not some or all the specification requirements of this system. In the case of a distributed model, the SW and HW system blocks are described respectively by HLL (High Level Language) and HDL (Hardware Description Language) codes. When dea...
متن کاملA Feature-based Approach to Embedded System Hardware and Software Co-design
Correspnding author, Email: [email protected] ABSTRACT An embedded system is a hybrid of hardware and softwarethat combines software flexibility and hardware real-time performance. The co-design of hardware and software is the most critical but difficult issue in embedded system design. In this paper, we propose a novel feature-based approach to the codesign of hardware and software in embedded ...
متن کاملK-means clustering algorithm for multimedia applications with flexible HW/SW co-design
In this paper, we report a hardware/software (HW/SW) co-designed K-means clustering algorithm with high flexibility and high performance for machine learning, pattern recognition and multimedia applications. The contributions of this work can be attributed to two aspects. The first is the hardware architecture for nearest neighbor searching, which is used to overcome the main computational cost...
متن کاملSystematic Embedded Software Generation from SystemC
The embedded software design cost represents an important percentage of the embedded-system development costs [1]. This paper presents a method for systematic embedded software generation that reduces the software generation cost in a platform-based HW/SW codesign methodology for embedded systems based on SystemC. The goal is that the same SystemC code allows system-level specification and veri...
متن کامل