Mohammad-Mahdi Bidmeshki, Yiorgos Makris. VeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation. In 2015 IEEE International Symposium on Circuits and Systems, ISCAS 2015, Lisbon, Portugal, May 24-27, 2015. pages 29-32, IEEE, 2015. [doi]
Abstract is missing.