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