HOME       UP       PREV       FURTHER NOTES       NEXT (Event Driven Simulation)  

Digital Logic Modelling

In the four-value logic system each net (wire or signal), at a particular time, has one of the following logic values:

In this model, nets jump from one value to another in an instant. Real nets have a transit time.

The symbol `X' has a different meaning according to tool applied: it means `uncertain' during simulation and `dont-care' during logic synthesis.

The dont-care in logic synthesis enables logic minimisation (like with K-maps).

Digital Logic Modelling

31: (C) 2008-17, DJ Greaves, University of Cambridge, Computer Laboratory.   TAPE MISSING ICON