Race-Free State Assignment
Don’t cares can be used to make race-free assignment
In example below-left, we need:
col00 d?a; col01 a?b, c?d; col11 b?c; col10 a?c, b?d
Looks like we need extra rows, but use the don’t cares:
Previous slide
Next slide
Back to first slide
View graphic version