Verification of Electronic Systems.

Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha

Browse the full DAC paper archive.