A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems.

Aadithya V. Karthik, Yingyan Lin, Chenjie Gu, Aolin Xu, Jaijeet S. Roychowdhury, Naresh R. Shanbhag

Browse the full ICASSP paper archive.