K. S. Maneperambil

Automatic Constraint Based Test Generation for Behavioral HDL Models

V. Kamakoti, Vivekananda M. Vedula, Vishnu Vardhan Reddy Konda, 2008, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.