../
sva_gen_lean implementation notes
https://github.com/anishathalye/knox https://shd.mit.edu/2025/recitations/formal.html#the-big-picture
TODO
- Read verilog files from stdin