昔書いたGraphviz用のdotファイルを紛失してしまいpdfしか残っていなかったのでリハビリの一環でgvで作成された状態遷移図から復元したがpdfとレイアウトが異なる部分がある(リフレッシュコントローラの部分)のでどちらか或いは両方に間違いがある可能性が有る。オリジナルはIBMの小林さんが書かれたCQ出版のPLD本に遡るのでステートダイヤグラム的には25年程昔に設計したと思われる。 graphvizで状態遷移図 以下が.dotファイルでこれをgraphvizに食わせると上記 .pngを生成してくれる。 digraph { //rankdir=LR; graph [ layout = dot…