3 yosys
-p 'synth_sf2 -top example -edif netlist.edn -vlog netlist.vm' example.v
4 export LM_LICENSE_FILE
=${LM_LICENSE_FILE:-1702@localhost}
5 /opt
/microsemi
/Libero_SoC_v12.0
/Libero
/bin
/libero SCRIPT
:libero.tcl
6 cp proj
/designer
/example
/export
/example.stp .