1 2 3 4 5
; BTOR description generated by Yosys 0.33+65 (git sha1 90124dce5, clang 15.0.0 -fPIC -Os) for module std_pad. 1 sort bitvec 32 2 input 1 in ; core.sv:38.39-38.41 3 output 2 out ; core.sv:39.39-39.42 ; end of yosys output