Model-checking based Verification for Hardware Designs specified using Bluespec System

Abstract

Model-checking based techniques are widely employed to the RTL and gate-level models of a hardware design for verification of its desired properties. In case of complex designs, such techniques are associated with the state-explosion problem when many components of a design make transition in parallel. Thus, using such low-level models for the verification… (More)

Topics

  • Presentations referencing similar topics