Revert "Fix LEC (The-OpenROAD-Project#1628)" (The-OpenROAD-Project#1641)

mo-hosni · Jan 30, 2023 · e99deff · e99deff
1 parent 1f1904a
commit e99deff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/yosys/logic_equiv_check.tcl b/scripts/yosys/logic_equiv_check.tcl
@@ -33,7 +33,7 @@ proc initialize {args} {
  }
  }
  foreach lib $::env(LIB_TYPICAL) {
- read_liberty -nooverwrite -lib -ignore_miss_dir -setattr blackbox $lib
+ read_liberty -ignore_miss_func -ignore_miss_dir $lib
  }
 }