Application

17398033 · CONVERTING FORMAL VERIFICATION TESTBENCH DRIVERS WITH NONDETERMINISTIC INPUTS TO SIMULATION MONITORS

Filed 2021-08-10 · Granted · Patent 11675009 (2023-06-13) The official file ↗The patent and its PDF ↗ · Art unit 2851 · Examiner Brian Ngo Typical · CPC G01R 31/318357 · International Business Machines Corporation · INACTIVE - IBM CORPORATION

Office actions

first was Non-final rejection

RCEs

no appeal

To first action

15.7 mo

to disposition 22.1 mo

Statutes raised

101 DP

2 actions read

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