Inventor
HEKMATPOUR AMIR
US25 patents
Patents
25 patentsUS5870768AFeb 9, 1999
Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications
IBM227 citations99
US5822745AOct 13, 1998
Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications
IBM179 citations99
US5806056ASep 8, 1998
Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications
IBM155 citations99
US5799292AAug 25, 1998
Adaptive hypermedia presentation method and system
IBM303 citations99
US5720007AFeb 17, 1998
Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications
IBM136 citations99
US5696885ADec 9, 1997
Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications
IBM116 citations99
US5644686AJul 1, 1997
Expert system and method employing hierarchical knowledge base, and interactive multimedia/hypermedia applications
IBM294 citations99
US6968346B2Nov 22, 2005
XML-based system and method for collaborative web-based design and verification of system-on-a-chip
IBM91 citations98
US6647513B1Nov 11, 2003
Coverage-based test generation for microprocessor verification
IBM91 citations98
US6052676AApr 18, 2000
Adaptive hypermedia presentation method and system
IBM88 citations98
US6584455B1Jun 24, 2003
System and method for predicting design errors in integrated circuits
IBM46 citations96
US7313772B2Dec 25, 2007
Systems, methods, and media for block-based assertion generation, qualification and analysis
IBM25 citations92
US7278056B2Oct 2, 2007
Methods, systems, and media for management of functional verification
IBM40 citations92
US7007251B2Feb 28, 2006
Database mining system and method for coverage analysis of functional verification of integrated circuit designs
IBM29 citations92
US6553548B1Apr 22, 2003
System and method for recovering from design errors in integrated circuits
IBM41 citations92
US6523151B2Feb 18, 2003
Method for verifying the design of a microprocessor
IBM45 citations92
US7512839B2Mar 31, 2009
Methods, systems, and media for generating a regression suite database
IBM22 citations89
US7320090B2Jan 15, 2008
Methods, systems, and media for generating a regression suite database
IBM26 citations89
US7483913B2Jan 27, 2009
XML-based system and method for collaborative web-based design and verification of system-on-a-chip
IBM10 citations84
US7467364B2Dec 16, 2008
Database mining method and computer readable medium carrying instructions for coverage analysis of functional verification of integrated circuit designs
IBM10 citations84
US7900181B2Mar 1, 2011
Systems, methods, and media for block-based assertion generation, qualification and analysis
IBM10 citations83
US7870381B2Jan 11, 2011
Schema-based portal architecture for assessment and integration of silicon IPs
IBM13 citations83
US7865853B2Jan 4, 2011
Systems, methods, and media for block-based assertion generation, qualification and analysis
IBM11 citations83
US7711992B2May 4, 2010
Generating a regression suite database
IBM8 citations77
US7571184B2Aug 4, 2009
Dynamic schema-based silicon IP analysis, qualification, data exchange, and integration
IBM2 citations62