Assignee
KOELBL ALFRED
DE·3 granted patents·6 citations·filing 2008–2010
Technology mixG06F3
Top patents by PatentIndex Score
3 records- 0177US8079000B2Method and apparatus for performing formal verification using data-flow graphsKOELBL ALFRED·Filed 2008·Granted Dec 13, 2011·6 cites·24 claims
- 0251US8589836B2Formally checking equivalence using equivalence relationshipsKOELBL ALFRED·Filed 2008·Granted Nov 19, 2013·0 cites·21 claims
- 0341US8201119B2Formal equivalence checking between two models of a circuit design using checkpointsKOELBL ALFRED·Filed 2010·Granted Jun 12, 2012·0 cites·21 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →