Keywords :
Algebra, analysis of logical circuits, combinational algebra, hazard detection and location, race detection and location, simulation of logical circuits.; Algebra; Analytical models; Circuit analysis; Circuit simulation; Delay; Electronic components; Flip-flops; Hazards; Integrated circuit modeling; Switching circuits; Algebra, analysis of logical circuits, combinational algebra, hazard detection and location, race detection and location, simulation of logical circuits.;