Exploitation of Periodicity in Logic Simulation of Synchronous Circuits. - Rahul Razdan; Gabriel P. Bischoff; Ernst G. Ulrich (ICCAD, 1990)

Automatic Detection of MOS Synchronizers for Timing Verification. - Joel Grodstein; Nick Rethman; Rahul Razdan; Gabriel P. Bischoff (ICCAD, 1991)

Clock suppression techniques for synchronous circuits. - Rahul Razdan; Gabriel P. Bischoff; Ernst G. Ulrich (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor. - Gabriel P. Bischoff; Karl S. Brace; Samir Jain; Rahul Razdan (ICCD, 1997)

Power and CAD considerations for the 1.75mbyte, 1.2ghz L2 cache on the alpha 21364 CPU. - Joel Grodstein; Rachid Rayess; Tad Truex; Linda Shattuck; Sue Lowell; Dan Bailey; David Bertucci; Gabriel P. Bischoff; Daniel E. Dever; Mike Gowan; Roy Lane; Brian Lilly; et al. (ACM Great Lakes Symposium on VLSI, 2002)

Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. - Gabriel P. Bischoff; Karl S. Brace; Gianpiero Cabodi; Sergio Nocco; Stefano Quer (BMC@CAV, 2004)

A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions. - Gabriel P. Bischoff; Karl S. Brace; Gianpiero Cabodi (EUROCAST, 2007)