Ternary
Simulation Characteristics
CE-653 - Hazards and Analysis
Methods
23
}For n feedback lines, at
most 2 x n evaluations are required
}Hazards and Races are
detected automatically
}Optimisations
}During Procedure A, any
gate with output at 1/2 need not be further considered, since
output cannot change further
}During Procedure B, any
gate with output different from1/2 need not be further
considered, since again its output cannot change further
}In both cases remove gate
from simulation queue
18/3/2014