Assertions based verification for systemc

Forczek, M.; Zaychenko, S.

Публікація:
Assertions based verification for systemc

dc.contributor.author	Forczek, M.
dc.contributor.author	Zaychenko, S.
dc.date.accessioned	2016-09-01T12:30:01Z
dc.date.available	2016-09-01T12:30:01Z
dc.date.issued	2005
dc.description.abstract	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.	uk_UA
dc.identifier.citation	Sergiy Zaychenko Assertions based verification for systemc/Miroslaw Forczek, Sergiy Zaychenko//Proceedings of IEEE East-West Design & Test Workshop (EWDTW’05)	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/1925
dc.language.iso	en	uk_UA
dc.publisher	EWDTW	uk_UA
dc.subject	device simulation	uk_UA
dc.subject	computer aided design	uk_UA
dc.subject	erification	uk_UA
dc.subject	assertions	uk_UA
dc.subject	system level modeling	uk_UA
dc.title	Assertions based verification for systemc	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication