A system verification strategy based on the BST infrastructure.

Gustavo R. Alves, Jos Manuel Martins Ferreira

Browse the full ISCAS paper archive.