Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications (1998)

by Alexander Taubin, Alex Kondratyev, Luciano Lavagno, Jordi Cortadella