Symmetry Reduction for STE Model Checking

  • Authors:

  • Ashish Darbari

  • Affiliations:

  • Oxford University Computing Lab, UK

  • Venue:
  • FMCAD '06 Proceedings of the Formal Methods in Computer Aided Design
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include initialization and self-test logic. Because pervasive logic is intertwined ...