Concepedia

Leon Stok

LS

33

Publications

1.2K

Citations

21

H-Index

1990

Active since

Affiliations

IBM (United States)(Current)

IBM Research - Thomas J. Watson Research Center

Eindhoven University of Technology

University of Michigan

Synopsys (United States)

Leon Stok is an author at IBM (United States) specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceComputer ArchitectureParallel ComputingFormal MethodsFormal VerificationSystems EngineeringDesignAutomated Reasoning

Publications per year

1990–2014

33

Publications

33

Pushing ASIC performance in a power envelope

Ruchir Puri, Leon Stok, John Cohn et al. · 2003 · 133 citations

Engineering, Vlsi Design, Power Optimization (Eda) +16

BooleDozer: Logic synthesis for ASICs

Leon Stok, David S. Kung, Daniël Brand et al. · IBM Journal of Research and Development · 1996 · 95 citations

Engineering, Electronic Design Automation, Computer Architecture +17

False loops through resource sharing

Leon Stok · International Conference on Computer Aided Design · 1992 · 65 citations

Resource Constraint, Reachability Analysis, Network Science +15

Retiming revisited and reversed

Guy Even, I. Spillinger, Leon Stok · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1996 · 64 citations

Engineering, Initial State Calculation, Computer Architecture +16

Transformational placement and synthesis

W. E. Donath, Prabhakar Kudva, Leon Stok et al. · 2000 · 59 citations · Full text

Rows per page

1–5 of 33