Berkeley, California
United States
9
2014-10-14
The entities that hold a legal rights for patent applications filed by inventor McMillan Kenneth L.:
Kenneth L. McMillan from Berkeley, US has applied for patents for these inventions. The list has both pending applications and granted patents:
General numeric backtracking algorithm for solving satifiability problems to verify functionality of circuits and software
#2 | 2014-02-18Apparatus with general numeric backtracking algorithm for solving satisfiability problems to verify functionality of circuits and software
#3 | 2012-12-06Method and system for implementing top down design and verification of an electronic design
#4 | 2011-05-03Method and system for implementing top down design and verification of an electrical circuit design
#5 | 2010-02-09System and method for abstraction refinement verification
#6 | 2009-06-25Method and system for implementing top down design and verification of an electronic design
#7 | 2009-06-25Method and system for verifying electronic designs having software components
#8 | 2008-07-29Method and system for design verification using proof-based abstraction
#9 | 2005-09-13Method and system for design verification using proof-partitioning
3310517 ⎘