Inventor · Haifa, IL

Gabor Bobok

15Patents
3h-index
15Co-inventors
49Inventor score

Filing activity: Sep 15, 2005 → Apr 23, 2014

Most-cited inventions

PatentTitleAreaCited byStatus
US8255848B2 Logic design verification techniques for liveness checking with retiming Physics 7 Active
US8230406B2 Compiler option consistency checking during incremental hardware design language compilation Physics 7 Active
US9286426B2 Method and apparatus for testing Physics 3 Active
US7493248B2 Method, system and program product supporting phase events in a simulation model of a digital system Physics 2 Active
US7912694B2 Print events in the simulation of a digital system Physics 2 Active
US7617085B2 Program product supporting specification of signals for simulation result viewing Physics 2 Active
US8407641B2 Logic design verification techniques for liveness checking with retiming Physics 1 Active
US7711537B2 Signals for simulation result viewing Physics 1 Active
US7823097B2 Unrolling hardware design generate statements in a source window debugger Physics 1 Active
US7552043B2 Method, system and program product for selectively removing instrumentation logic from a simulation model Physics 1 Active
US8108199B2 Phase events in a simulation model of a digital system Physics 1 Active
US8495533B2 Synthesizing VHDL multiple wait behavioral FSMs into RT level FSMs by preprocessing Physics 0 Active
US7506287B2 Method, system, and program product for pre-compile processing of hardware design language (HDL) source files Physics 0 Active
US8160857B2 Selective compilation of a simulation model in view of unavailable higher level signals Physics 0 Active
US8713494B2 Synthesizing VHDL multiple wait FSMS into RT level FSMS by preprocessing Physics 0 Active

Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.