Inventor
CERNY EDUARD
US10 patents
⚠️ This page may combine multiple inventors who share the name “CERNY EDUARD”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
SYNOPSYS INC
7 patentsUS7076753B2Jul 11, 2006
Method and apparatus for solving sequential constraints
SYNOPSYS INC23 citations88
US7797123B2Sep 14, 2010
Method and apparatus for extracting assume properties from a constrained random test-bench
SYNOPSYS INC10 citations80
US7454727B1Nov 18, 2008
Method and Apparatus for Solving Sequential Constraints
SYNOPSYS INC8 citations69
US11544435B1Jan 3, 2023
On-the-fly computation of analog mixed-signal (AMS) measurements
SYNOPSYS INC2 citations66
US10846455B2Nov 24, 2020
Automatic definition and extraction of functional coverage metric for emulation-based verification
SYNOPSYS INC4 citations63
US10831956B2Nov 10, 2020
Efficient execution of alternating automaton representing a safety assertion for a circuit
SYNOPSYS INC0 citations47
US9626468B2Apr 18, 2017
Assertion extraction from design and its signal traces
SYNOPSYS INC1 citations44