Verisym: Verifying circuits by symbolic simulationWilliam AdamsWarren A. Hunt Jr.et al.2003Formal Methods in System Design