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]

Abstract

Abstract is missing.