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 proceeding › Conference 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.

Keyphrases

Computer Science