Note: this section is a work in progress!

[1] See Batali et al. 1982 for more information on the chip and the method by which it was designed.
5.4 The Explicit-Control Evaluator