Zdenek Prikryl

Follow

Person

Brno, CZ

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic bug reporting tool
- Patent number 8,694,831
- Issue date Apr 8, 2014
- Red Hat, Inc.
- Anton Arapov
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
A METHOD FOR AN AUTOMATIC DESIGN AND VERIFICATION OF A PROCESSOR'S...
- Publication number 20240061984
- Publication date Feb 22, 2024
- Codasip, s.r.o.
- Zdenëk Prikryl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR AUTOMATIC PROCESSOR DESIGN, VALIDATION, AND VERIFICATION
- Publication number 20220335186
- Publication date Oct 20, 2022
- Codasip, s.r.o.
- Zdenek Prikryl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND AN APPARATUS FOR AUTOMATIC PROCESSOR DESIGN AND VERIFICA...
- Publication number 20150234965
- Publication date Aug 20, 2015
- CODASIP S.R.O.
- Zdenek Prikryl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND AN APPARATUS FOR AUTOMATIC GENERATION OF VERIFICATION EN...
- Publication number 20150234966
- Publication date Aug 20, 2015
- CODASIP S.R.O.
- Zdenek Prikryl
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND AN APPARAUS FOR INSTRUCTION SET TRANSLATION USING FINITE...
- Publication number 20150169543
- Publication date Jun 18, 2015
- Brno University of Technology
- Tomas Hruska
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC BUG REPORTING TOOL
- Publication number 20100306593
- Publication date Dec 2, 2010
- Anton Arapov
- G06 - COMPUTING CALCULATING COUNTING