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