Bump yosys to 0.8 (#1029)

chipsalliance · Feb 22, 2019 · ea43e48 · ea43e48
1 parent b383382
commit ea43e48
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 41 deletions.
diff --git a/.fix_yosys_abc.patch b/.fix_yosys_abc.patch
diff --git a/.install_yosys.sh b/.install_yosys.sh
@@ -5,9 +5,7 @@ if [ ! -f $INSTALL_DIR/bin/yosys ]; then
   git clone https://github.com/cliffordwolf/yosys.git
   cd yosys
   git pull
-  git checkout yosys-0.7
-  # Workaround moving ABC repo
-  git apply ../.fix_yosys_abc.patch
+  git checkout yosys-0.8
   make
   make PREFIX=$INSTALL_DIR install
 fi
diff --git a/scripts/formal_equiv.sh b/scripts/formal_equiv.sh
@@ -61,7 +61,7 @@ else
       equiv_make top1 top2 equiv
       hierarchy -top equiv
       clean -purge
-      equiv_simple
+      equiv_simple -short
       equiv_induct
       equiv_status -assert
     "