BOULE MARC

Automata unit, a tool for designing checker circuitry and a method of manufacturing hardware circuitry incorporating checker circuitry