Skip to content

Y
yosys-tests
Commit 25a7d304 by Sergey Committed by Miodrag Milanović
Options

Backends fixes (#79) 

* backends. Fix patterns.
parent 8f025a0c
Showing with 5 additions and 5 deletions
backends/write_edif/write_edif_cyclic_dependency_fail.pat
ERROR: Cyclic dependency between modules found! Cycle includes module bb. ERROR: Cyclic dependency between modules found! Cycle includes module top.
backends/write_smv/write_smv_fulladder.pat
_$add$###top_fulladder#v#21$4_Y := resize(_y, 1) + resize(_A, 1); _$add$###top_fulladder#v#20$4_Y := resize(_y, 1) + resize(_A, 1);
_$add$###top_fulladder#v#18$2_Y := resize(_y, 1) + resize(_cin, 1); _$add$###top_fulladder#v#17$2_Y := resize(_y, 1) + resize(_cin, 1);
_$0#A#0#0# := _$add$###top_fulladder#v#18$2_Y; _$0#A#0#0# := _$add$###top_fulladder#v#17$2_Y;
_$0#cout#0#0# := _$add$###top_fulladder#v#21$4_Y; _$0#cout#0#0# := _$add$###top_fulladder#v#20$4_Y;
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment