Lutsig: A Verified Verilog Compiler for Verified Circuit Development http://www.cse.chalmers.se/~loow/papers/cpp2021.pdf Lutsig currently targets (a class of) FPGAs and is capable of producing technology mapped netlists for FPGAs. @User @User