Nathan Kitchen

Markov Chain Monte Carlo Stimulus Generation for Constrained Random Simulation

Nathan Kitchen, 2010 .

SAT sweeping with local observability don't-cares

Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Andreas Kuehlmann, 2006, 2006 43rd ACM/IEEE Design Automation Conference.

Stimulus generation for constrained random simulation

Andreas Kuehlmann, Nathan Kitchen, A. Kuehlmann, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

Temporal decomposition for logic optimization

Andreas Kuehlmann, Nathan Kitchen, 2005, 2005 International Conference on Computer Design.

Hardware Acceleration for Constraint Solving for Random Simulation

Andreas Kuehlmann, Tobias Welp, Nathan Kitchen, 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints

Andreas Kuehlmann, Nathan Kitchen, 2009, CAV.

Stimulus generation for constrained random simulation

Andreas Kuehlmann, Nathan Kitchen, 2007, ICCAD 2007.