Milpitas, California
United States
16
2019-02-12
The entities that hold a legal rights for patent applications filed by inventor Loh Lawrence:
Lawrence Loh from Milpitas, US has applied for patents for these inventions. The list has both pending applications and granted patents:
Methods, systems, and articles of manufacture for verifying an electronic design using hierarchical clock domain crossing verification techniques
#2 | 2018-04-03Security data path verification
#3 | 2018-03-20Security data path verification
#4 | 2017-04-25Methods, systems, and computer program product for verifying electronic designs with clock domain crossing paths
#5 | 2016-09-20Security data path verification
#6 | 2015-08-11Power aware retention flop list analysis and modification
#7 | 2015-02-10Veryifing low power functionality through RTL transformation
#8 | 2014-10-14Constraining traces in formal verification
#9 | 2014-09-09Indexing behaviors and recipes of a circuit design
#10 | 2014-05-20Indexing behaviors and recipes of a circuit design
#11 | 2013-02-19Formal verification of deadlock property
#12 | 2010-01-12Managing formal verification complexity of designs with multiple related counters
#13 | 2008-10-14System and method for determining and identifying signals that are relevantly determined by a selected signal in a circuit design
#14 | 2008-08-26Managing formal verification complexity of designs with counters
#15 | 2007-06-26Managing formal verification complexity of designs with datapaths
#16 | 2007-01-02System and method for identifying design efficiency and effectiveness parameters for verifying properties of a circuit model
7158604 ⎘