Gabriel P. Bischoff

According to our database, Gabriel P. Bischoff authored at least 7 papers between 1990 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions.

Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi

Proceedings of the Computer Aided Systems Theory, 2007

2004

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

Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004

2002

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, Krishna Nagalla, Rahul Shah, Emily Shriver, Shi-Huang Yin, Shannon V. Morton

Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, 2002

1997

Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor.

Gabriel P. Bischoff, Karl S. Brace, Samir Jain, Rahul Razdan

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

1993

Clock suppression techniques for synchronous circuits.

Rahul Razdan, Gabriel P. Bischoff, Ernst G. Ulrich

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

1991

Automatic Detection of MOS Synchronizers for Timing Verification.

Joel Grodstein, Nick Rethman, Rahul Razdan, Gabriel P. Bischoff

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

1990

Exploitation of Periodicity in Logic Simulation of Synchronous Circuits.

Rahul Razdan, Gabriel P. Bischoff, Ernst G. Ulrich

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990