Eduard Cerny

City:

Worcester, Massachusetts

Country:

United States

Published Applications:

Last publication date:

2018-06-07

Top Assignees for applications by Eduard Cerny

The entities that hold a legal rights for patent applications filed by inventor Cerny Eduard:

Eduard Cerny from Worcester, US has applied for patents for these inventions. The list has both pending applications and granted patents:

Efficient execution of alternating automaton representing a safety assertion for a circuit

Assertion extraction from design and its signal traces

Vector evaluation of assertions

Method and apparatus for extracting assume properties from a constrained random test-bench

Constrained random simulation coverage closure guided by a cover property

Method and Apparatus for Solving Sequential Constraints

Method and apparatus for solving sequential constraints

InventorID:

1272123 ⎘