Skip to content

Y
yosys-tests
Switch branch/tag
Find file
Normal viewHistoryPermalink
read_aiger_invalid_reset_literal.ys 102 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_latch2.aiger

synth -top top
write_verilog synth.v