An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC
| Autor: | Lahbib, Younes a, b, ⁎, Kamdem, Romain c, Benalycherif, Mohamed-lyes c, Tourki, Rached b |
|---|---|
| Zdroj: | In Computers and Electrical Engineering 2005 31(4):282-302 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect