OBDD-based Optimization of Input Probabilities for Weighted Random Pattern Generation. - Rolf Krieger; Bernd Becker 001; Can Ökmen (FTCS, 1995)

On Optimizing BIST-Architecture by Using OBDD-based Approaches and Genetic Algorithms. - Can Ökmen; Martin Keim; Rolf Krieger; Bernd Becker 001 (VTS, 1997)