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.
- Sort by
- Weight
- Alphabetically
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