Technique for synthesizing distributed burst-mode circuitsPrabhakar KudvaGanesh Gopalakrishnanet al.1996DAC 1996Conference paper
RuleBase: An industry-oriented formal verification toolIlan BeerShoham Ben-Davidet al.1996DAC 1996Conference paper
Synthesis of hazard-free customized CMOS complex-gate networks under multiple-input changesPrabhakar KudvaGanesh Gopalakrishnanet al.1996DAC 1996Conference paper