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 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]

Authors

Karthik V. Aadithya

This author has not been identified. Look up 'Karthik V. Aadithya' in Google

Yingyan Lin

This author has not been identified. Look up 'Yingyan Lin' in Google

Chenjie Gu

This author has not been identified. Look up 'Chenjie Gu' in Google

Aolin Xu

This author has not been identified. Look up 'Aolin Xu' in Google

Jaijeet S. Roychowdhury

This author has not been identified. Look up 'Jaijeet S. Roychowdhury' in Google

Naresh R. Shanbhag

This author has not been identified. Look up 'Naresh R. Shanbhag' in Google