A formal design verification system based on an automated reasoning system.
| Autor: | Wojcik, Anthony S., Kljaich, Joseph, Srinivas, Nagendra |
|---|---|
| Zdroj: | Proceedings of the 21st Design Automation Conference; 6/25/1984, p641-647, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|