A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela.
| Autor: | Eljadiri, Lamia, Assayad, Ismail |
|---|---|
| Zdroj: | ACM International Conference Proceeding Series; 10/18/2018, p154-157, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|