Correct-by-Construction Approaches for SoC Design

Overview

Authors:

• Roopak Sinha ⁰,
• Parthasarathi Roop ¹,
• Samik Basu ²

1. Roopak Sinha

   1. Electrical and Computer Engineering, The University of Auckland, Auckland, New Zealand
      

   View author publications

   You can also search for this author in PubMed   Google Scholar

2. Parthasarathi Roop

   1. Electrical and Computer Engineering, The University of Auckland, Auckland, New Zealand
      

   View author publications

   You can also search for this author in PubMed   Google Scholar

3. Samik Basu

   1. Department of Computer Science, Iowa State University, Ames, USA
      

   View author publications

   You can also search for this author in PubMed   Google Scholar