Inventor
MALIK SHARAD
US17 patents
⚠️ This page may combine multiple inventors who share the name “MALIK SHARAD”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
NEC USA INC
5 patentsUS6038392AMar 14, 2000
Implementation of boolean satisfiability with non-chronological backtracking in reconfigurable hardware
NEC USA INC79 citations95
US6035109AMar 7, 2000
Method for using complete-1-distinguishability for FSM equivalence checking
NEC USA INC39 citations92
US6247164B1Jun 12, 2001
Configurable hardware system implementing Boolean Satisfiability and method thereof
NEC USA INC39 citations91
US5937183AAug 10, 1999
Enhanced binary decision diagram-based functional simulation
NEC USA INC33 citations91
US5522063AMay 28, 1996
Method of finding minimum-cost feedback-vertex sets for a graph for partial scan testing without exhaustive cycle enumeration
NEC USA INC27 citations91
MONTEREY DESIGN SYSTEMS
3 patentsUS6442743B1Aug 27, 2002
Placement method for integrated circuit design using topo-clustering
MONTEREY DESIGN SYSTEMS126 citations96
US6192508B1Feb 20, 2001
Method for logic optimization for improving timing and congestion during placement in integrated circuit design
MONTEREY DESIGN SYSTEMS23 citations91
US6449756B1Sep 10, 2002
Method for accurate and efficient updates of timing information logic synthesis, placement and routing for integrated circuit design
MONTEREY DESIGN SYSTEMS13 citations71
NEC CORP
3 patentsUS6874135B2Mar 29, 2005
Method for design validation using retiming
NEC CORP36 citations92
US6651234B2Nov 18, 2003
Partition-based decision heuristics for SAT and image computation using SAT and BDDs
NEC CORP42 citations92
US5841673ANov 24, 1998
System and method for processing graphic delay data of logic circuit to reduce topological redundancy
NEC CORP42 citations89