Inventor

LAGOON VITALY

AU4 patents

⚠️ This page may combine multiple inventors who share the name “LAGOON VITALY”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

CADENCE DESIGN SYSTEMS INC

1 patent

US7870523B1Jan 11, 2011

System and method for test generation with dynamic constraints using static analysis and multidomain constraint reduction

CADENCE DESIGN SYSTEMS INC20 citations89

HOLLANDER YOAV

1 patent

US8560893B1Oct 15, 2013

Systems and methods for automatically generating executable system level-tests from a partially specified scenario

HOLLANDER YOAV29 citations87

CADENCE DESIGN ISRAEL II LTD

1 patent

US7613973B2Nov 3, 2009

Method for providing bitwise constraints for test generation

CADENCE DESIGN ISRAEL II LTD5 citations66

VERISITY LTD

1 patent

US6918076B2Jul 12, 2005

Method for providing bitwise constraints for test generation

VERISITY LTD9 citations64