Now showing items 1-1 of 1

    • Mutation-Based Qualification of Module Verification Environments 

      Rahkonen, Samuli (2016-01-13)
      The increasing complexity of integrated circuits has put more emphasis on the reusability of both the designs and their verification environments. Verification is often based on assumptions of the quality of the created ...