Formal verification of complex digital systems requires a mechanism for efficient representation and... read more