github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-05 16:24:43 +00:00
Code Issues Releases Wiki Activity

Merge pull request #3581 from jix/formalff-error

Browse Source 
formalff: Proper error messages on async inputs for the -clk2ff mode
This commit is contained in:
Jannis Harder
2022-12-12 16:39:10 +01:00
committed by GitHub
parent 7ad7b550cb 967529abb1
commit 2093cf07e4
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
passes/sat/formalff.cc
View File

@@ -479,6 +479,9 @@ struct FormalFfPass : public Pass {
if (ff.sig_clk.is_fully_const())
log_error("Const CLK on %s (%s) from module %s, run async2sync first.\n",
log_id(cell), log_id(cell->type), log_id(module));
if (ff.has_aload || ff.has_arst || ff.has_sr)
log_error("Async inputs on %s (%s) from module %s, run async2sync first.\n",
log_id(cell), log_id(cell->type), log_id(module));
auto clk_wire = ff.sig_clk.is_wire() ? ff.sig_clk.as_wire() : nullptr;