Verification Reuse for a Non-Transaction Based Design across Multiple Platforms Author(s): Luis Li, Pablo Salazar, and Andrés Cordero Download
