Inventor

FOREY JEAN-MARC A

FR2 patents

Patents

2 patents

US9990453B2Jun 5, 2018

Clock-domain-crossing specific design mutations to model silicon behavior and measure verification robustness

SYNOPSYS INC2 citations59

US12045158B2Jul 23, 2024

Test case selection and ordering with covert minimum set cover for functional qualification

SYNOPSYS INC0 citations33