トランジスタレベル等価性検証ツールEVERY7SPの開発

スポンサーリンク

概要

• 論文の詳細を見る

• 機能記述とSPICEネットリストとの、トランジスタレベルの等価性検証ツールを開発した。SPICEからラッチノードやダイナミックノード等を認識し、回路の種別を識別する検出機能により、F/Fやラッチ、ドミノ回路にも対応し、また、パターン検証を組み合わせることにより、High Impedanceやconflictの検出にも対応した。

• 社団法人電子情報通信学会の論文
• 1999-11-27

著者

• 乾 重人

  Nec Corp.

• 荒尾 千秋

  北陸日本電気ソフトウエア株式会社

• 乾 重人

  NECシリコンシステム研究所

• 村井 修三

  NECコンピュータ事業部

• 菅波 和幸

  北陸日本電気ソフトウエア株式会社

• 管波 和幸

  北陸日本電気ソフトウエア株式会社

• 荒尾 千秋

  北陸日本電気ソフトウエア

関連論文

• 290MFLOPSベクトルパイプラインプロセッサ
• 浮動小数点乗算器の実時間速度テスト方式
• 125MHz,41.7MFLOPSベクトル浮動小数点除算器
• プリスケーリングを用いた高速除算手法
• LC-1 ラッチ変換による論理回路の遅延最適化(C. アーキテクチャ・ハードウェア)
• ドミノ論理合成の提案
• 高クロックスキュー耐性ラッチ設計手法
• トランジスタレベル等価性検証ツールEVERY7SPの開発
• トランジスタレベル等価性検証ツールEVERY7SPの開発
• トランジスタレベル等価性検証ツールEVERY7SPの開発
• C-12-11 浮動小数点乗算器 : 多相クロツク方式の原理と検証
• 2.7ns0.25μm CMOS 54x54b乗算器
• 2.7ns0.25μmCMOS54x54b乗算器 : 設計・検証技術
• 2.7ns0.25μm CMOS 54x54b乗算器 : 設計・検証技術
• 浮動小数点乗算器(2) : 54b整数乗算器
• 浮動小数点乗算器(1) : 高速化アルゴリズム
• FPGAを使ったプロセッサ検証の教育システム(通信のための信号処理,符号理論,一般)
• FPGAを使ったプロセッサ検証の教育システム(通信のための信号処理,符号理論,一般)
• FPGAを使ったプロセッサ検証の教育システム(通信のための信号処理,符号理論,一般)
• 統合論理設計支援システムILOSにおける論理検証ツールEVERY4
• ハードウェアシミュレータHAL IIIを用いた超大規模シミュレーション

もっと見る 閉じる

スポンサーリンク