`Travelled to:`

7 × USA

`Collaborated with:`

R.K.Brayton A.L.Sangiovanni-Vincentelli A.Saldanha Y.Matsunaga L.Lavagno J.V.Sanghavi W.R.Bush G.Cheng A.M.Despain H.Harkness

`Talks about:`

effici (3) transit (2) network (2) comput (2) logic (2) exact (2) time (2) algorithm (1) synthesi (1) signatur (1)

## Person: Patrick C. McGeer

### DBLP: McGeer:Patrick_C=

### Contributed to:

### Wrote 9 papers:

- DAC-1996-Sangiovanni-VincentelliMS #verification
- Verification of Electronic Systems (ALSV, PCM, AS), pp. 106–111.
- DAC-1995-LavagnoMSS #design #power management #synthesis
- Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool (LL, PCM, AS, ALSV), pp. 254–260.
- DAC-1994-SaldanhaHMBS #optimisation #performance #using
- Performance Optimization Using Exact Sensitization (AS, HH, PCM, RKB, ALSV), pp. 425–429.
- DAC-1993-MatsunagaMB #on the #transitive
- On Computing the Transitive Closure of a State Transition Relation (YM, PCM, RKB), pp. 260–265.
- DAC-1993-McGeerSBS #logic #named
- Espresso-Signature: A New Exact Minimizer for Logic Functions (PCM, JVS, RKB, ALSV), pp. 618–624.
- DAC-1990-McGeerB #analysis #network
- Timing Analysis in Precharge/Unate Networks (PCM, RKB), pp. 124–129.
- DAC-1989-McGeerB #logic #performance
- Efficient Prime Factorization of Logic Expressions (PCM, RKB), pp. 221–225.
- DAC-1989-McGeerB89a #algorithm #network #performance
- Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network (PCM, RKB), pp. 561–567.
- SLP-1987-BushCMD87 #experience #hardware #prolog #specification
- Experience with Prolog as a Hardware Specification Language (WRB, GC, PCM, AMD), pp. 490–498.