Nathan Kitchen

Statistics

Publications

Citations

304

H-Index

Active since

2006

Affiliations

Cadence Design Systems (United States)(Current)

University of California, Berkeley

Lawrence Berkeley National Laboratory

Nathan Kitchen is an author at Cadence Design Systems (United States) specializing in computer engineering, design computation, and design simulation.

Publications per year

2006–2010

Publications

SAT sweeping with local observability don't-cares

Qi Zhu, Nathan Kitchen, Andreas Kuehlmann et al. · 2006 · 90 citations

Computing, Computer Engineering, Computer Science +16

Stimulus generation for constrained random simulation

Nathan Kitchen, Andreas Kuehlmann · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2007 · 88 citations

Architecture, Computer Engineering, Design Automation +16

Stimulus generation for constrained random simulation

Nathan Kitchen, Andreas Kuehlmann · 2007 · 76 citations

Architecture, Computer Engineering, Design Automation +16

SAT sweeping with local observability don't-cares

Qi Zhu, Nathan Kitchen, Andreas Kuehlmann et al. · Proceedings - ACM IEEE Design Automation Conference · 2006 · 31 citations

Computing, Computer Engineering, Computer Science +16

Markov Chain Monte Carlo Stimulus Generation for Constrained Random Simulation

Nathan Kitchen · eScholarship (California Digital Library) · 2010 · 19 citations · Full text

Architecture, Computer Engineering, Design Automation +14

1–5 of 5