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

dc.contributor.authorForczek, M.
dc.contributor.authorZaychenko, S.
dc.date.accessioned2016-09-01T12:30:01Z
dc.date.available2016-09-01T12:30:01Z
dc.date.issued2005
dc.description.abstractThe 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.citationSergiy Zaychenko Assertions based verification for systemc/Miroslaw Forczek, Sergiy Zaychenko//Proceedings of IEEE East-West Design & Test Workshop (EWDTW’05)uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/1925
dc.language.isoenuk_UA
dc.publisherEWDTWuk_UA
dc.subjectdevice simulationuk_UA
dc.subjectcomputer aided designuk_UA
dc.subjecterificationuk_UA
dc.subjectassertionsuk_UA
dc.subjectsystem level modelinguk_UA
dc.titleAssertions based verification for systemcuk_UA
dc.typeArticleuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакет
Зараз показано 1 - 1 з 1
Завантаження...
Зображення мініатюри
Назва:
Зайченко_ EWDTW_2005.pdf
Розмір:
810.41 KB
Формат:
Adobe Portable Document Format
Ліцензійний пакет
Зараз показано 1 - 1 з 1
Немає доступних мініатюр
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис: