Alfred Koelbl

Follow

Person

Hillsboro, OR, US

People

Patents Grantslast 30 patents

Information Patent Grant
Scalable formal security verification of circuit designs
- Patent number 11,556,676
- Issue date Jan 17, 2023
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient mechanism of fault qualification using formal verification
- Patent number 10,592,624
- Issue date Mar 17, 2020
- Synopsis, Inc.
- Sandeep Jana
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
CREATION OF REDUCED FORMAL MODEL FOR SCALABLE SYSTEM-ON-CHIP (SOC)...
- Publication number 20230177244
- Publication date Jun 8, 2023
- Synopsys, Inc.
- Prasun Das
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE FORMAL SECURITY VERIFICATION OF CIRCUIT DESIGNS
- Publication number 20210064790
- Publication date Mar 4, 2021
- Synopsys, Inc.
- Alfred Koelbl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT MECHANISM OF FAULT QUALIFICATION USING FORMAL VERIFICATION
- Publication number 20180349521
- Publication date Dec 6, 2018
- Synopsys, Inc.
- Sandeep Jana
- G06 - COMPUTING CALCULATING COUNTING