1 2 3 4 5 6
; BTOR description generated by Yosys 0.33+65 (git sha1 90124dce5, clang 15.0.0 -fPIC -Os) for module std_not. 1 sort bitvec 32 2 input 1 in ; core.sv:88.35-88.37 3 not 1 2 4 output 3 out ; core.sv:89.35-89.38 ; end of yosys output