ブックトーク「鳥」 (特集 酉年、鳥年、子どもの本)

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• 形式的手法によるキャッシュ・プロトコルの設計検証 : 超並列計算機JUMP-1への適用例
• 算術演算回路検証のための二分モーメントグラフの高速生成手法
• 算術演算回路検証のための二分モーメントグラフの高速生成手法
• 設計検証技術(総論) : 現在の設計検証技術はペンティアムのバグを見つけることができるか
• 1. 論理関数処理に基づく形式的検証手法 ( 論理設計の形式的検証)

もっと見る

スポンサーリンク