A Survey on Assertion-based Hardware Verification.
| Autor: | WITHARANA, HASINI1 witharana.hasini@ufl.edu, YANGDI LYU2, CHARLES, SUBODHA3, MISHRA, PRABHAT1 |
|---|---|
| Zdroj: | ACM Computing Surveys. 2022 Suppl 11, Vol. 54, p1-33. 33p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|