Verifying hardware in its software context.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign

Browse the full ICCAD paper archive.