Lutsig: A Verified Verilog Compiler for Verified Circuit Development
Paper in proceeding, 2021
Author
Andreas Lööw
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021
46-60
9781450382991 (ISBN)
Online, ,
Subject Categories
Computer and Information Science
DOI
10.1145/3437992.3439916