Inventor

NOY AMOS

IL7 patents

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

VERISITY LTD

3 patents

US6684359B2Jan 27, 2004

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

VERISITY LTD56 citations94

US6519727B2Feb 11, 2003

System and method for applying flexible constraints

VERISITY LTD18 citations90

US6219809B1Apr 17, 2001

System and method for applying flexible constraints

VERISITY LTD28 citations90

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

CADENCE DESIGN ISREAL II LTD

1 patent

US7114111B2Sep 26, 2006

Method and apparatus for maximizing test coverage

CADENCE DESIGN ISREAL II LTD46 citations88

CADENCE DESIGN ISRAEL II LTD

1 patent

US7281185B2Oct 9, 2007

Method and apparatus for maximizing and managing test coverage

CADENCE DESIGN ISRAEL II LTD25 citations85

GAL AMIT

1 patent

US8296697B2Oct 23, 2012

Method and apparatus for performing static analysis optimization in a design verification system

GAL AMIT4 citations52