An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC

Younes Lahbiba, Romain Kamdemc, Mohamed-lyes Benalycherifc, Rached Tourkib
Electronics and Micro-Electronics Laboratory,  Received 28 January 2005;  Accepted 13 April 2005., Available online 26 July 2005.


Abstract

Property specification languages and ABV (assertion-based verification) driven by simulation are being recognized by many as essential for verification of today’s increasingly complex designs. In addition, there are few mature approaches that concentrate on improving assertion integration with high-level designs modeled in SystemC. This paper discusses the issues faced within SystemC environments to incorporate PSL (property specification language) assertions. It also proposes an automatic solution that enhances SOC (system on chip) SLD (system level design) flow with PSL assertions embedded into SystemC designs.

Go to Journal

Check Also

Numerical investigation of the linearity of graphene-based silicon waveguide modulator