Verification and Analysis of Self-Checking Properties through ATPG.

Marc Hunger, Sybille Hellebrand

Browse the full IOLTS paper archive.