Membership
Tour
Register
Log in
Hans-Jorg Peter
Follow
Person
Saint-Egreve, FR
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
System and method for reactive initialization based formal verifica...
Patent number
9,721,058
Issue date
Aug 1, 2017
Synopsys, Inc.
Mohamed Shaker Sarwary
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
SYSTEM AND METHOD FOR REACTIVE INITIALIZATION BASED FORMAL VERIFICA...
Publication number
20160300009
Publication date
Oct 13, 2016
Synopsys, Inc.
Mohamed Shaker Sarwary
G06 - COMPUTING CALCULATING COUNTING