Access Restriction

Author Habibi, Ali ♦ Gawanmeb, Amjad ♦ Tabar, Sofibne
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Systemc Design ♦ Psl Assertion ♦ Original Design ♦ Asm Level ♦ Specific Property ♦ Abstract State Machine ♦ Property Specification Language ♦ Systemc Language ♦ New Model ♦ Ver-ification Approach ♦ Expressive Assertion Specification Layer ♦ Integrated Assertion
Abstract Abstraa-In this paper, we present an assertion based ver-ification 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 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. I.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study