Gabriel P. Bischoff
According to our database1,
Gabriel P. Bischoff
authored at least 7 papers
between 1990 and 2007.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2007
A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions.
Proceedings of the Computer Aided Systems Theory, 2007
2004
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking.
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.
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.
Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997
1993
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993
1991
Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991
1990
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990