Polynomial order algorithms for structural and behavioral analysis of state machine allocatable nets.

Dong-Ik Lee, Tadaaki Nishimura, Sadatoshi Kumagai, Shinzo Kodama

Browse the full ISCAS paper archive.