Inventor
WEBER KAI O
DE2 patents
Patents
2 patentsUS7624363B2Nov 24, 2009
Method and apparatus for performing equivalence checking on circuit designs having differing clocking and latching schemes
IBM3 citations59
US7949968B2May 24, 2011
Method and system for building binary decision diagrams optimally for nodes in a netlist graph using don't-caring
IBM0 citations38