projects
/
yosys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge pull request #2015 from boqwxp/qbfsat-bisection
[yosys.git]
/
techlibs
/
achronix
/
synth_achronix.cc
diff --git
a/techlibs/achronix/synth_achronix.cc
b/techlibs/achronix/synth_achronix.cc
index 1dc6bdb2fe8a26c2a83f6ef8c3e8b4a59b802e69..262a5e70095bfa2c654acc1d200f9ad26b679d83 100644
(file)
--- a/
techlibs/achronix/synth_achronix.cc
+++ b/
techlibs/achronix/synth_achronix.cc
@@
-144,7
+144,6
@@
struct SynthAchronixPass : public ScriptPass {
run("opt -fast -mux_undef -undriven -fine -full");
run("memory_map");
run("opt -undriven -fine");
- run("dffsr2dff");
run("dff2dffe -direct-match $_DFF_*");
run("opt -fine");
run("techmap -map +/techmap.v");