Concepedia

Thomas R. Shiple

TR

Statistics

Publications

13

Citations

719

H-Index

11

Active since

1994

Affiliations

University of California, Berkeley(Current)

Synopsys (Switzerland)

Synopsys (United States)

Cadence Design Systems (United States)

École Nationale Supérieure des Mines de Paris

Thomas R. Shiple is an author at University of California, Berkeley specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringComputational ComplexityVerificationCircuit ComplexityDiscrete MathematicsComputer Architecture

Publications per year

1994–2012

13

Publications

13

Constructive analysis of cyclic circuits

Thomas R. Shiple, Gérard Berry, H.J. Touati · European Design and Test Conference · 1996 · 127 citations

Circuit Complexity, Engineering, Constructive Analysis +23

Smart simulation using collaborative formal and simulation engines

Pei Hsin Ho, Thomas R. Shiple, Kevin Harer et al. · International Conference on Computer Aided Design · 2000 · 125 citations

Engineering, Verification, Computer Architecture +26

Heuristic minimization of BDDs using don't cares

Thomas R. Shiple, Ramin Hojati, Alberto Sangiovanni‐Vincentelli et al. · 1994 · 100 citations · Full text

Approximation and decomposition of binary decision diagrams

Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple et al. · 1998 · 69 citations · Full text

Mathematical Programming, Engineering, Reachability Problem +22

Constructive analysis of cyclic circuits

Thomas R. Shiple, Gérard Berry, H.J. Touati · 2002 · 64 citations

Circuit Complexity, Engineering, Constructive Analysis +23

1–5 of 13