Bluespec Lectures 1 & 2. Contact Information Satnam Singh Email: [email protected]@microsoft.com Web: satnams.
20100522 software verification_sharygina_lecture02
Eliminating the Hardware/Software Divide Satnam Singh, Microsoft Research Cambridge, UK.
Verifying Component Substitutability
Dynamic Component Substitutability Analysis Edmund Clarke Natasha Sharygina* Nishant Sinha Carnegie Mellon University The University of Lugano.
Bluespec
Dynamic Component Substitutability Analysis
Eliminating the Hardware/Software Divide