Gabor Drasny

Method and apparatus for encoding binary data as a zero terminated string

Compiler Option Consistency Checking During Incremental Hardware Design Language Compilation

CONDITIONAL PHASE ALGEBRA FOR CLOCK ANALYSIS

Phase algebra for analysis of hierarchical designs

Clock-gating phase algebra for clock analysis

CIRCUIT DESIGN EVALUATION WITH COMPACT MULTI-WAVEFORM REPRESENTATIONS

GLITCH-AWARE PHASE ALGEBRA FOR CLOCK ANALYSIS

Static checking of asynchronous clock domain crossings

Unrolling Hardware Design Generate Statements in a Source Window Debugger

PHASE ALGEBRA FOR SPECIFYING CLOCKS AND MODES IN HIERARCHICAL DESIGNS