Formal Verification of Peephole Optimizations in Asynchronous Circuits.

Xiaohua Kong, Radu Negulescu

Browse the full FORTE paper archive.