2018年1月25日に発売を予定していたFPGAマガジンNo.20は都合により発売をとり止めることになりました．楽しみにしていただいていた皆さんにご迷惑をおかけしてしまい申し訳ありません．
　今後の予定は未定ですが，決まり次第ホームページ等でお知らせいたします．ご質問等がありましたら，CQ出版社までお問合せください．
--- ここまで ---

　FPGAの世界では、正しい回路になっているかどうかなど、形式的に検証するのがよく行われています。
「FPGA Formal Methods」
「FPGA Formal Verification」
などで、ネットを検索してみてください。
　日本語の情報は、ほとんどないみたいだけど、
「FPGA 形式手法」
「FPGA 形式検証」
で検索してみてください。

形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)関連
[URL]
テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。九州大学(九大)の荒木啓二郎先生が、熊本高等専門学校(熊本高専)の校長に！記念、形式手法とネットワーク技術シンポジウム

関連：
[URL]
Interface(インターフェース) 2018年02月号は、AIチップ/AIプロセッサ大特集
[URL]
Interface(インターフェース) 2018年02月号は、AIチップ/AIプロセッサ大特集 その２。世の中、すっかり変わっていて、浦島太郎を実感。パタヘネ本、ヘネパタ本も、オープンソースRISC版があるのね。
[URL]
FPGAブームでわかる、ソフト屋もハードがわからないと食えない、トータルエンジニア時代の到来か
[URL]
トラ技10年分PICマイコン製作記事全集、FPGA/PLD入門記事全集、FPGAマガジン、ZynqでワンチップLinux on FPGA、超軽量マイコン用ファイル・システムFatFs
[URL]
トラ技10年分ウィークエンド電子工作記事全集ほか総集編本、トラ技「永久ミニ電源×マイクロワット作戦」、インターフェース「知らないとカッコ悪い! ARM用GCC&LLVM初体験」、日経ソフトウエア「プログラミング入門法、ラズベリーパイでできること20選、Polymer超入門、「Scala」をはじめよう」
[URL]
FPGAキットで始めるハード&ソフト丸ごと設計ほか、FPGA関係、すごいわ。