cd toolTLV/tlv
tlv comp-inv.pf ../fileSMV/T1_5.smv
cmd