Skip to content

Y
yosys-tests
Switch branch/tag
Find file
Normal viewHistoryPermalink
abc_constr_liberty.ys 86 Bytes
Newer Older
Add new tests to 'simple' and 'misc' groups.
4c8a3c38
 
SergeyDegtyar committed
1 2 3 
read_verilog ../top.v
synth -top top
tee -o result.log  abc -liberty  -constr top.lib