[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