|
Search the dblp DataBase
Patrick C. McGeer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. [Citation Graph (0, 0)][DBLP] DAC, 1995, pp:254-260 [Conf]
- Yusuke Matsunaga, Patrick C. McGeer, Robert K. Brayton
On Computing the Transitive Closure of a State Transition Relation. [Citation Graph (0, 0)][DBLP] DAC, 1993, pp:260-265 [Conf]
- Patrick C. McGeer, Robert K. Brayton
Efficient Prime Factorization of Logic Expressions. [Citation Graph (0, 0)][DBLP] DAC, 1989, pp:221-225 [Conf]
- Patrick C. McGeer, Robert K. Brayton
Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network. [Citation Graph (0, 0)][DBLP] DAC, 1989, pp:561-567 [Conf]
- Patrick C. McGeer, Robert K. Brayton
Timing Analysis in Precharge/Unate Networks. [Citation Graph (0, 0)][DBLP] DAC, 1990, pp:124-129 [Conf]
- Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Espresso-Signature: A New Exact Minimizer for Logic Functions. [Citation Graph (0, 0)][DBLP] DAC, 1993, pp:618-624 [Conf]
- Patrick C. McGeer, Steven Trimberger, Erik Carlson, Dave Hightower, Ulrich Lauther, Alberto L. Sangiovanni-Vincentelli
DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques? (Panel). [Citation Graph (0, 0)][DBLP] DAC, 1994, pp:503- [Conf]
- Alexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Performance Optimization Using Exact Sensitization. [Citation Graph (0, 0)][DBLP] DAC, 1994, pp:425-429 [Conf]
- Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha
Verification of Electronic Systems. [Citation Graph (0, 0)][DBLP] DAC, 1996, pp:106-111 [Conf]
- Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
Trace driven logic synthesis&mdashapplication to power minimization. [Citation Graph (0, 0)][DBLP] ICCAD, 1997, pp:581-588 [Conf]
- Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni
Performance Enhancement through the Generalized Bypass Transform. [Citation Graph (0, 0)][DBLP] ICCAD, 1991, pp:184-187 [Conf]
- Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia
Fast discrete function evaluation using decision diagrams. [Citation Graph (0, 0)][DBLP] ICCAD, 1995, pp:402-407 [Conf]
- Patrick C. McGeer, Alexander Saldanha, Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions. [Citation Graph (0, 0)][DBLP] ICCAD, 1991, pp:180-183 [Conf]
- Paul T. Gutwin, Patrick C. McGeer, Robert K. Brayton
Delay Prediction for Technology-Independent Logic Equations. [Citation Graph (0, 0)][DBLP] ICCD, 1992, pp:468-471 [Conf]
- Patrick C. McGeer
Robust Path Delay-Fault Testability on Dynamic CMOS Circuits. [Citation Graph (0, 0)][DBLP] ICCD, 1991, pp:206-211 [Conf]
- Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer
Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP] ISCAS, 1994, pp:275-278 [Conf]
- William R. Bush, Gino Cheng, Patrick C. McGeer, Alvin M. Despain
Experience with Prolog as a Hardware Specification Language. [Citation Graph (0, 0)][DBLP] SLP, 1987, pp:490-498 [Conf]
- Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Minimization of Logic Functions Using Essential Signature Sets. [Citation Graph (0, 0)][DBLP] VLSI Design, 1993, pp:323-328 [Conf]
- Masahiro Fujita, Patrick C. McGeer
Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:2/3, pp:135-136 [Journal]
- Masahiro Fujita, Patrick C. McGeer, Jerry Chih-Yuan Yang
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:2/3, pp:149-169 [Journal]
- Carl Ponder, Patrick C. McGeer, Anthony P.-C. Ng
Are applicative languages inefficient? [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1988, v:23, n:6, pp:135-139 [Journal]
- Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
Modeling reactive systems in Java. [Citation Graph (0, 0)][DBLP] ACM Trans. Design Autom. Electr. Syst., 1998, v:3, n:4, pp:515-523 [Journal]
- Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
ESPRESSO-SIGNATURE: a new exact minimizer for logic functions. [Citation Graph (0, 0)][DBLP] IEEE Trans. VLSI Syst., 1993, v:1, n:4, pp:432-440 [Journal]
Search in 0.002secs, Finished in 0.306secs
|