ASSERTIONS BASED VERIFICATION FOR SYSTEMC
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Sergiy Zaychenko, Miroslaw Forczek
|
|
| Date |
2016-07-06T08:59:10Z
2016-07-06T08:59:10Z 2005 |
|
| Identifier |
Sergiy Zaychenko ASSERTIONS BASED VERIFICATION FOR SYSTEMC/Miroslaw Forczek, Sergiy Zaychenko//Proceedings of IEEE East-West Design & Test Workshop (EWDTW’05)
966-659-113-8 http://hdl.handle.net/123456789/3135 |
|
| Description |
The Assertions Based Verification (ABV) has gained worldwide acceptance as verification methodology of electronic systems designs. There was number of papers [1-3] that explain in-depth this methodology. The original concept of assertion comes from software development where it (in particular the assert() macro defined in C language [4]) has proved to be a very powerful tool for automatic bug and regression detection [5]. Assertions for hardware designs employ Linear Time Logic (LTL) to define expected and/or forbidden behavior. The foundation for ABV are Hardware Verification Languages (HVLs). HVLs combine semantics of LTL with constructs for building reusable verification IP units. Verification IP units need to be bind to some design for effective use. Thus HVLs provide constructs to specify connections with models in Hardware Description Languages (HDLs). Most of ABV implementations are part of HDL–based integrated design environments (IDEs). The SystemC open initiative [6] provides an alternative to HDLs as it enables C++ [7] – the industry strength notation for complex systems – with hardware concepts of RTL and system-level in form of C++ templates library. In its original approach SystemC models are processed standard C++ toolset and executed as standalone applications. SystemC became a very popular environment for modeling at system-level abstraction. The HDL-based IDEs offer co-simulation capabilities with SystemC engine but it still remain external unit to the HDL simulator. The idea of applying ABV to the SystemC designs is natural step of HDL and SystemC environments integration. Since HDL design can be co-simulated with SystemC model, there is an easy way to associate verification unit with SystemC one: the SystemC unit needs to be connected to HDL wrapper unit that will provide entry point for verification unit bind. This method doesn’t require any additional tools assuming availability of HDL simulator. The Assertions Based Verification (ABV) has gained worldwide acceptance as verification methodology of electronic systems designs. Assertions provide basic blocks for building functional verification concept. Due the declarative form of the temporal formulas of assertions a lot of verification efforts are being cut down, tending to better product quality and verification speed. Most of implementations are integrated with HDL based design environments. The SystemC open initiative provides an alternative to HDL based design environments by enabling C++ with hardware concepts. SystemC already became a very popular environment for modeling at system-level abstraction. This work enables SystemC designs with industry standard assertions notations. The platform was build upon assertions simulator integrated into Riviera™ HDL based verification environment. |
|
| Language |
en
|
|
| Publisher |
EWDTW
|
|
| Subject |
device simulation
computer aided design erification assertions system level modeling |
|
| Title |
ASSERTIONS BASED VERIFICATION FOR SYSTEMC
|
|
| Type |
Article
|
|