TATOO: an industrial timing analyzer with false path elimination and test pattern generation. - Jacques Benkoski; Ronald B. Stewart (EURO-DAC, 1991)

Static Timing Analysis Using Interval Constraints. - Ronald B. Stewart; Jacques Benkoski (ICCAD, 1991)

Automatic import of custom designs into a cell-based environment using switch-level analysis and circuit simulation. - Ronald B. Stewart; Véronique Anjubault; Philippe Garcin; Jacques Benkoski (EURO-DAC, 1992)

LibQA - library quality assurance for VHDL synthesis and simulation. - Ronald B. Stewart (EURO-DAC, 1995)