Case study of the Cambridge fast ring ECL chip using HOL (1988)

by J M J Herbert