Concepedia

Patrick C. McGeer

PC

Statistics

Publications

17

Citations

1.3K

H-Index

15

Active since

1988

Affiliations

University of California, Berkeley(Current)

Cadence Design Systems (United States)

Lawrence Berkeley National Laboratory

Fujitsu (United States)

Patrick C. McGeer is an author at University of California, Berkeley specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceComputer EngineeringFormal VerificationComputational ComplexityVerificationAutomated ReasoningTheory Of ComputingCircuit Design

Publications per year

1988–2003

17

Publications

17

Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation

Masahiro Fujita, Patrick C. McGeer, J.C.-Y. Yang · Formal Methods in System Design · 1997 · 386 citations

Efficient algorithms for computing the longest viable path in a combinational network

Patrick C. McGeer, Robert K. Brayton · 1989 · 192 citations

Circuit Complexity, Engineering, Vlsi Design +26

ESPRESSO-SIGNATURE: a new exact minimizer for logic functions

Patrick C. McGeer, J. Sanghavi, Robert K. Brayton et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1993 · 122 citations · Full text

Timing analysis and delay-fault test generation using path-recursive functions

Patrick C. McGeer, A. Saldanha, Paul R. Stephan et al. · 2002 · 104 citations

Engineering, Verification, Computer-aided Verification +19

Fast discrete function evaluation using decision diagrams

Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha et al. · International Conference on Computer Aided Design · 1995 · 99 citations

Mathematical Programming, Hardware Modeling, Engineering +21

1–5 of 17