use different top model

222a2639 · Miodrag Milanovic · 6ac0f57e · 222a2639
Commit 222a2639 authored Jul 17, 2019 by Miodrag Milanovic
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

backends/scripts/write_aiger_zinit.ys
+1 -1

No files found.
--- a/backends/scripts/write_aiger_zinit.ys
+++ b/backends/scripts/write_aiger_zinit.ys
-read_verilog -sv ../top.v
+read_verilog -sv ../top_clean.v
 aigmap
 write_aiger -zinit aiger.aiger
 synth -top top