niszetの日記

アナログCMOS系雑用エンジニアが頑張る備忘録系日記

2020-04-23から1日間の記事一覧

NuSMVを使ってみたのでメモ

モデル検査に入門しているのです。 色々あって、モデル検査[初級編]を読んでます。出版社さんのサイトはこちら。今はAmazonの在庫があるのかな?なければyodobashiとか色々選択肢はあるはず。まだ在庫はあると思うので。 www.kindaikagaku.co.jp ちょっと古…