A novel formal verification approach for RTL hardware IP cores
Autor: | Djemal, Ridha *, Dhouib, Mohamed Ayoub, Dellacherie, Samuel, Tourki, Rached |
---|---|
Zdroj: | In Computer Standards & Interfaces 2005 27(6):637-651 |
Databáze: | ScienceDirect |
Externí odkaz: |