Skip to content

Y
yosys-tests
Switch branch/tag
Find file
Normal viewHistoryPermalink
read_aiger_unsup_aiger_file.ys 99 Bytes
Newer Older
Add tests for error messages to 'frontends' group
dd522d08
 
SergeyDegtyar committed
1 2 3 4 
read_aiger -clk_name clk -module_name top ../aiger_ff1.aiger

synth -top top
write_verilog synth.v