Symbolic multi-level verification of refinement.
| Autor: | Hendricx, S., Claesen, L. |
|---|---|
| Zdroj: | Proceedings Ninth Great Lakes Symposium on VLSI; 1999, p288-291, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Hendricx, S., Claesen, L. |
|---|---|
| Zdroj: | Proceedings Ninth Great Lakes Symposium on VLSI; 1999, p288-291, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|