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
Join the waitlist — get patent alerts
Get an alert when KOELBL ALFRED files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →