Efficient verification of determinate speed-independent circuits.
| Autor: | Beerel, Peter A., Burch, Jerry, Meng, Teresa H.-Y. |
|---|---|
| Zdroj: | Proceedings of the 1993 IEEE ACM International Conference Computer-aided Design; 11/7/1993, p261-267, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|