کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9660582 | 695384 | 2005 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
شبکه های کامپیوتری و ارتباطات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC](/preview/png/9660582.png)
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computers & Electrical Engineering - Volume 31, Issues 4â5, JuneâJuly 2005, Pages 282-302
Journal: Computers & Electrical Engineering - Volume 31, Issues 4â5, JuneâJuly 2005, Pages 282-302
نویسندگان
Younes Lahbib, Romain Kamdem, Mohamed-lyes Benalycherif, Rached Tourki,