Karthik V. Aadithya, Yingyan Lin, Chenjie Gu, Aolin Xu, Jaijeet S. Roychowdhury, Naresh R. Shanbhag. A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2012, Kyoto, Japan, March 25-30, 2012. pages 5289-5292, IEEE, 2012. [doi]
Abstract is missing.