Tekstiviesti: Sequential logic synthesis / by Pranav Ashar, Srinivas Devadas, A. Richard Newton.