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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems'. Together they form a unique fingerprint.

Engineering & Materials Science