Symbolic Test Generation for Hierarchically Modeled Digital Systems.

P. N. Anirudhan, Premachandran R. Menon

Browse the full ITC paper archive.