Inventor
CLARKE EDMUND M
US2 patents
Patents
2 patentsUS7418680B2Aug 26, 2008
Method and system to check correspondence between different representations of a circuit
UNIV CARNEGIE MELLON7 citations65
US7225417B2May 29, 2007
Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design
UNIV CARNEGIE MELLON2 citations56