MITのプログラム言語を研究しているグループの検証プラットフォーム「Kami」の論文を読んでいる。 KamiとはCoqをベースとしたDSLで、ハードウェアを表現するための言語およびそのプラットフォーム。KamiはCoqのハードウェア記述から検証、ハードウェア生成までを行うことを目的とする。 論文は以下に掲載されている。30ページもあり長い。 Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification http://plv.csail.mit.edu/kami/papers/icfp17.pdf とりあえず動かしてみる。以下のリポジトリを使おう。 github.com # Revision : ed1d6cd $ git clone git@github.com:
2025.04.01：「制御システムセキュリティ教育講習（入門編）」が令和7年度情報処理安全確保支援士特定講習に選定されました。資格有無に関わらず、制御システムに関心のある方はぜひお申し込みください。右側のバナーからご覧ください。 2025.03.20：機器検証サービス、情報セキュリティ監査サービスが「情報セキュリティサービス台帳」に登録されました。 2025.01.29：リスクアセスメント資料を更新しました。 2024.05.31：部会情報を更新しました。 2024.05.31：役員一覧を更新しました。 2023.09.12：「ビルシステムにおけるサイバー・フィジカル・セキュリティ対策カタログ」第2版を公開しました。詳細は「 一般公開資料」からプレスリリースをご覧ください。 2022.11.25：「ビルシステムにおけるサイバー・フィジカル・セキュリティ対策カタログ」第1版を公開しました。
Key Industry Topics Examine the fundamental topics influencing semiconductor innovation and strategic market decisions. Empowering Semiconductor Innovation with Insight, Tools, and Industry Connections TechInsights empowers semiconductor and electronics leaders with deep technical analysis, tools, exclusive events, and industry connections—built to support R&D, product strategy, and competitive in
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
