/verif/formal/regfile/

• ../
• regfile.sby
• regfile_ind.sv