Noida
India
7
2012-01-17
The entities that hold a legal rights for patent applications filed by inventor Singh Vinaya Kumar:
Vinaya Kumar Singh from Noida, IN has applied for patents for these inventions. The list has both pending applications and granted patents:
Automated debugging method and system for over-constrained circuit verification environment
#2 | 2010-10-05Method and system for implementing context aware synthesis of assertions
#3 | 2010-05-04Method and system for handling assertion libraries in functional verification
#4 | 2009-06-04Automated debugging method for over-constrained circuit verification environment
#5 | 2009-06-04Method for providing information associated with an over-constrained event in verification of a circuit design
#6 | 2009-06-04Method for checking a status of a signal port to identify an over-constrained event
#7 | 2008-09-23Design optimization using approximate reachability analysis
6225644 ⎘