Stimulus generation for constrained random simulation

Nathan Kitchen, Andreas Kuehlmann. Stimulus generation for constrained random simulation. In Georges G. E. Gielen, editor, 2007 International Conference on Computer-Aided Design (ICCAD 07), November 5-8, 2007, San Jose, CA, USA. pages 258-265, IEEE, 2007. [doi]

Abstract

Abstract is missing.