Inventor
WEBER KAI OLIVER
DE10 patents
Patents
10 patentsUS7290229B2Oct 30, 2007
Method and system for optimized handling of constraints during symbolic simulation
IBM16 citations84
US7340473B2Mar 4, 2008
Method and system for building binary decision diagrams efficiently in a structural network representation of a digital circuit
IBM12 citations83
US7367001B2Apr 29, 2008
Method, system and computer program product for verification of digital designs using case-splitting via constrained internal signals
IBM7 citations73
US7752583B2Jul 6, 2010
System for verification of digital designs using case-splitting via constrained internal signals
IBM2 citations62
US7506290B2Mar 17, 2009
Method and system for case-splitting on nodes in a symbolic simulation framework
IBM2 citations62
US7363603B2Apr 22, 2008
Method and system for case-splitting on nodes in a symbolic simulation framework
IBM2 citations62
US7458048B2Nov 25, 2008
Computer program product for verification of digital designs using case-splitting via constrained internal signals
IBM0 citations52
US7853917B2Dec 14, 2010
System for building binary decision diagrams efficiently in a structural network representation of a digital circuit
IBM0 citations51
US7836413B2Nov 16, 2010
Building binary decision diagrams efficiently in a structural network representation of a digital circuit
IBM0 citations51
US7475371B2Jan 6, 2009
Method and system for case-splitting on nodes in a symbolic simulation framework
IBM0 citations51