Blame · misc/scripts/abc_clk_domain_not_found.ys · d40d6d5d6fc1319cdc297b34fd18e484bb17c6bb · lvzhengyang / yosys-tests · GitLab

Normal view History Permalink

abc_clk_domain_not_found.ys 89 Bytes

Newer Older

Add tests for errors from 'abc' command.

committed 5 years ago

read_verilog ../top.v
synth -top top
tee -o result.log  abc -dff -clk u
 abc -dff -clk u