In design specification, the letter `x' is also used to denote `dont-care', which allows efficient logic minimisation. In Verilog, the letter `x' means uncertain during simulation and `dont-care' during logic synthesis.
In this model, nets jump from one value to another in an instant. Real nets have a transit time.
33: (C) 2008-16, DJ Greaves, University of Cambridge, Computer Laboratory. | ![]() |