2023.11.15

Introduction

Hardware verification

  • pre-silicon
    • simulation-based tools
    • formal techniques
      • applications:
        • absence of deadlock
        • proper ALU and FPU functionality
      • problems:
        • state explosion problem
  • post-silicon