An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition.

Keisuke Bekki, Tohru Nagai, Nobuhiro Hamada, Tsuguo Shimizu, Noriharu Hiratsuka, Kazumasa Shima

Browse the full ICCAD paper archive.