berkeryの古い論文

berkereyの古い論文を見つけた。
Sequential Synthesis
A. Aziz, F. Balarin, R. Brayton, and A. Sangiovanni-Vincentelli. IEEE Transactions on Computer-Aided Design, 19(10), 2000.

FSMの足し算とかdecompositionとか、昔からありそうなもんだけども。
探索キーワードが悪いのか知らん。少し掘ってみよう。

＃今日は仕事で小田原だ。