Integrating Hardware Verification with CHDLs
| Autor: | Rajgopal, Suresh, Hedlund, Kye, Reeves, Douglas |
|---|---|
| Zdroj: | In Computer Hardware Description Languages and their Applications 1991:153-163 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Rajgopal, Suresh, Hedlund, Kye, Reeves, Douglas |
|---|---|
| Zdroj: | In Computer Hardware Description Languages and their Applications 1991:153-163 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|