Title: Case study of the Cambridge fast ring ECL CHIP using HOL