VeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation.
| Autor: | Bidmeshki, Mohammad-Mahdi, Makris, Yiorgos |
|---|---|
| Zdroj: | 2015 IEEE International Symposium on Circuits & Systems (ISCAS); 2015, p29-32, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|