Correct Hardware Design and Verification Methods

@inproceedings{Leeuwen1993CorrectHD,
  title={Correct Hardware Design and Verification Methods},
  author={Jan van Leeuwen and Laurence Pierre and Thomas Kropf},
  booktitle={Lecture Notes in Computer Science},
  year={1993}
}
ion and Compositional Techniques From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . 142 E.Allen Emerson, Richard J. Trefler Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157 Dirk W. Hoffmann, Thomas Kropf Abstract BDDs: A Technique for Using Abstraction in Model… CONTINUE READING