Modeling multi-rate DSP specification semantics for formal transformational design in HOL Catia M. AngeloLuc ClaesenHugo de Man OriginalPaper Pages: 61 - 94
A methodology for efficient hardware verification Mark AagaardMiriam Leeser OriginalPaper Pages: 95 - 117
Accelerating tableaux proofs using compact representations Klaus SchneiderRamayya KumarThomas Kropf OriginalPaper Pages: 145 - 176