mirror of
https://github.com/YosysHQ/yosys
synced 2026-07-15 11:45:41 +00:00
Added TODO for eliminating false paths
This commit is contained in:
parent
499e83a549
commit
dc4ca2c621
1 changed files with 1 additions and 0 deletions
|
|
@ -370,3 +370,4 @@ TODOs:
|
|||
7) Check recursion
|
||||
8) Check isValidGatingSet and findGatingCondition
|
||||
|
||||
Add a new feature to not do simulation or SAT based on the false paths
|
||||
Loading…
Add table
Add a link
Reference in a new issue