Application

17170843 · Accelerating Formal Property Verification Across Design Versions Using Sequential Equivalence Checking

Filed 2021-02-08 · Granted · Patent 11507719 (2022-11-22) The official file ↗The patent and its PDF ↗ · Art unit 2851 · Examiner Bryce M Aisaka Typical · CPC G06F 30/323 · Synopsys, Inc. · NDWE/Synopsys, Inc.

Office actions

first was Non-final rejection

RCEs

no appeal

To first action

13.1 mo

to disposition 21.4 mo

Statutes raised

1 actions read

Unlock the prosecution timelineIncluded in Pro, from $29 a month. Cancel any time.