Automatic Constraint Based Test Generation for Behavioral HDL Models. - Siva Kumar Sastry Hari; Vishnu Vardhan Reddy Konda; V. Kamakoti 001; Vivekananda M. Vedula; K. S. Maneperambil (IEEE Trans. Very Large Scale Integr. Syst., 2008)