Lutsig: a verified Verilog compiler for verified circuit development.

Published in: CPP (2021)

Keyphrases

high speed
case study
general purpose
information retrieval
software engineering
real time
information systems
object oriented
software systems
development environment
analog circuits