MDG-Based State Enumeration By Retiming And Circuit Transformation

Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou. MDG-Based State Enumeration By Retiming And Circuit Transformation. Journal of Circuits, Systems, and Computers, 13(5):1111-1132, 2004. [doi]

Authors

Otmane Aït Mohamed

This author has not been identified. Look up 'Otmane Aït Mohamed' in Google

Xiaoyu Song

This author has not been identified. Look up 'Xiaoyu Song' in Google

Eduard Cerny

This author has not been identified. Look up 'Eduard Cerny' in Google

Sofiène Tahar

This author has not been identified. Look up 'Sofiène Tahar' in Google

Zijian Zhou

This author has not been identified. Look up 'Zijian Zhou' in Google