diff options
| author | Jannis Harder <me@jix.one> | 2022-11-30 18:59:55 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-11-30 19:01:28 +0100 |
| commit | 551ca7f97f74afb4236bbf76c99a06c450374a90 (patch) | |
| tree | c24151c3a357cc4abf58df0e0cc3b9ba829f78c0 /passes/sat | |
| parent | ce708122a5148e097debd09f300f83d0e0438326 (diff) | |
| download | yosys-551ca7f97f74afb4236bbf76c99a06c450374a90.tar.gz yosys-551ca7f97f74afb4236bbf76c99a06c450374a90.tar.bz2 yosys-551ca7f97f74afb4236bbf76c99a06c450374a90.zip | |
formalff: Fix -ff2anyinit assertion error for fine FFs
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/formalff.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/sat/formalff.cc b/passes/sat/formalff.cc index 209486a37..b2a91b155 100644 --- a/passes/sat/formalff.cc +++ b/passes/sat/formalff.cc @@ -529,12 +529,14 @@ struct FormalFfPass : public Pass { if ((int)bits.size() == ff.val_init.size()) { // This check is only to make the private names more helpful for debugging ff.is_anyinit = true; + ff.is_fine = false; emit = true; break; } auto slice = ff.slice(bits); slice.is_anyinit = is_anyinit; + slice.is_fine = false; slice.emit(); } } |