Structural Symmetries and Model

  • CheckingGurmeet Singh Manku, Ramin Hojati, Robert K BraytonIBM
  • Published 1998


We present a fully automatic framework for identifying symmetries in structural descriptions of digital circuits and CTL* formulas and using them in a model checker. The set of sub-formulas of a formula is partitioned into equivalence classes so that truth values for only one sub-formula in any class need be evaluated for model checking. Structural… (More)


  • Presentations referencing similar topics