Membership
Tour
Register
Log in
Eduard Cerny
Follow
Person
Worcester, MA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
On-the-fly computation of analog mixed-signal (AMS) measurements
Patent number
11,544,435
Issue date
Jan 3, 2023
Synopsys, Inc.
Dmitry Korchemny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Analog mixed-signal assertion-based checker system
Patent number
11,501,050
Issue date
Nov 15, 2022
Synopsys, Inc.
Dmitry Korchemny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Unified functional coverage and synthesis flow for formal verificat...
Patent number
11,188,695
Issue date
Nov 30, 2021
Synopsys, Inc.
Dmitry Korchemny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatic definition and extraction of functional coverage metric f...
Patent number
10,846,455
Issue date
Nov 24, 2020
Synopsys, Inc.
Saptarshi Ghosh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Efficient execution of alternating automaton representing a safety...
Patent number
10,831,956
Issue date
Nov 10, 2020
Synopsys, Inc.
Eduard Cerny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Assertion extraction from design and its signal traces
Patent number
9,626,468
Issue date
Apr 18, 2017
Synopsys, Inc.
Eduard Cerny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Constrained random simulation coverage closure guided by a cover pr...
Patent number
8,527,921
Issue date
Sep 3, 2013
Synopsys, Inc.
Eduard Cerny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Vector evaluation of assertions
Patent number
8,448,109
Issue date
May 21, 2013
Synopsys, Inc.
Eduard Cerny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for extracting assume properties from a constr...
Patent number
7,797,123
Issue date
Sep 14, 2010
Synopsys, Inc.
Kaushik De
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and Apparatus for Solving Sequential Constraints
Patent number
7,454,727
Issue date
Nov 18, 2008
Synopsys, Inc.
Eduard Cerny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and apparatus for solving sequential constraints
Patent number
7,076,753
Issue date
Jul 11, 2006
Synopsys, Inc.
Eduard Cerny
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
AUTOMATIC DEFINITION AND EXTRACTION OF FUNCTIONAL COVERAGE METRIC F...
Publication number
20190340327
Publication date
Nov 7, 2019
Synopsys, Inc.
Saptarshi Ghosh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
UNIFIED FUNCTIONAL COVERAGE AND SYNTHESIS FLOW FOR FORMAL VERIFICAT...
Publication number
20190050516
Publication date
Feb 14, 2019
Synopsys, Inc.
Dmitry Korchemny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
EFFICIENT EXECUTION OF ALTERNATING AUTOMATON REPRESENTING A SAFETY...
Publication number
20180157776
Publication date
Jun 7, 2018
Synopsys, Inc.
Eduard Cerny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
ASSERTION EXTRACTION FROM DESIGN AND ITS SIGNAL TRACES
Publication number
20150242541
Publication date
Aug 27, 2015
Synopsys, Inc.
Eduard Cerny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD AND APPARATUS FOR EXTRACTING ASSUME PROPERTIES FROM A CONSTR...
Publication number
20090319252
Publication date
Dec 24, 2009
Synopsys, Inc.
Kaushik De
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CONSTRAINED RANDOM SIMULATION COVERAGE CLOSURE GUIDED BY A COVER PR...
Publication number
20090249267
Publication date
Oct 1, 2009
Synopsys, Inc.
Eduard Cerny
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and apparatus for solving sequential constraints
Publication number
20050138585
Publication date
Jun 23, 2005
Eduard Cerny
G06 - COMPUTING CALCULATING COUNTING