Modeling Techniques for Formal Verification of BIST Controllers and Their Integration into SOC Designs.

Subir K. Roy, Rubin A. Parekhji

Browse the full VLSID paper archive.