Inventor
KROENING DANIEL
GB5 patents
⚠️ This page may combine multiple inventors who share the name “KROENING DANIEL”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
UNIV CARNEGIE MELLON
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