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