Circuit conformation does not work for the environment containing internal signals
Bug #1530480 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Medium
|
Danil Sokolov |
Bug Description
If the environment STG has internal signals, then the circuit conformation (usually) does not hold.
A workaround is to substitute the internal signals with dummies for the purpose of conformation check.
Note that the verification for hazards does not allow dummies and should be performed with the original STG.
The deadlock check can be done with any STG - the original one or the one with dummies.
Related branches
Changed in workcraft: | |
status: | In Progress → Fix Committed |
To post a comment you must log in.