DocumentCode :
2866676
Title :
Assertion based verification of PSL for SystemC designs
Author :
Habibi, Ali ; Gawanmeh, Amjad ; Tahar, Sofiène
Author_Institution :
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que., Canada
fYear :
2004
fDate :
16-18 Nov. 2004
Firstpage :
177
Lastpage :
180
Abstract :
In this paper, we present an assertion based verification approach for SystemC designs, based on embedding the property specification language (PSL) using abstract state machines (ASM). Our approach utilizes an existing embedding of PSL in ASM in order to enable modeling of PSL assertions at the ASM level. Here, we propose to compile PSL assertions into C# code, and integrate them with the SystemC design. Assertions are then verified by simulating the new model that combines the original design and the integrated assertions. This enriches the SystemC language with a powerful and expressive assertion specification layer, and improves the verification of SystemC designs by targeting specific properties during simulation.
Keywords :
formal specification; formal verification; hardware-software codesign; simulation languages; specification languages; ASM; C# code; PSL assertion based verification; SystemC design; SystemC language assertion specification layer; abstract state machines; embedded property specification language; formal specification method; software/hardware systems; system level language; Computer displays; Computer languages; Digital signal processing; Hardware design languages; Microprocessors; Packet switching; Power system modeling; Software libraries; Specification languages; Switches;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System-on-Chip, 2004. Proceedings. 2004 International Symposium on
Print_ISBN :
0-7803-8558-6
Type :
conf
DOI :
10.1109/ISSOC.2004.1411179
Filename :
1411179
Link To Document :
بازگشت