回路変換における照合手法
スポンサーリンク
概要
- 論文の詳細を見る
多段論理最適化およびテクノロジ変換のプロダクションシステムには局所変換が広く用いられ、その有効性も確認されている。しかし処理速度の問題が残っており、回路とルールの照合速度を高めることが持に重要となってきている。そこで新しい照合手法を提案する。本手法では、回路およびルール条件部を構造化して照合を取る。
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
関連論文
- 自動車用コンピュータにおける制御タイミング仕様記述方法の検討
- 制御系ECU調停器の検証における演繹的アプローチについて(組込みシステム技術)
- AS-4-6 I/Oオートマトンのモジュラ制御における調停問題について(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)
- オペアンプのRFノイズ耐性の検討
- RFノイズによる電圧レギュレータICのDC出力電圧の変動
- 大振幅RF注入によるMOSFETのDC特性変動の検討
- B-4-15 RFによる電圧レギュレータICのDC出力変動
- RFによる電圧レギュレータICのDC出力変動のシミュレーション
- ICのRFノイズイミュニティ評価法の検討
- RFによるバイポーラトランジスタのDC変動のシミュレーション
- 大振幅RF印加によるバイポーラトランジスタのDC特性変動の一検討 (EMC計測技術論文小特集)
- 分割デュアルゲートFETを用いた高効率線形増幅器の検討
- 離散事象システムのモジュラ状態フィードバック制御に対する調停器設計(ペトリネット,離散事象システム,一般)
- 同期型言語を用いたソフトウェア検証 : クルーズコントロールシステムにおける事例紹介(フォーラム)
- 制御系ECU調停器の検証における演繹的アプローチについて(組込みシステム技術)
- 動作履歴をグラフで表現するハードウェアの機能動作モデルについて
- リーク電流補償によるCMOS ICの高温動作化
- リーク電流補償によるCMOS ICの高温動作化
- CMOS ICのリーク電流補償による高温動作化
- 非同期回路のスキャン設計回路への自動変換
- 回路変換における照合手法
- 2914 オブジェクト指向型シミュレータを用いた機械加工用設備モデルライブラリ
- プロセスモデリングのための標準スキーマ"EPML"の提案と,シミュレーションプロセスへの応用
- 制御ソフトウェアの開発方法論 : 制御理論と計算機科学の横断的設計アプローチ
- 車載電子制御システムの障害診断手法 : WPMax-SATを利用したCANデータ特異関係の抽出(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2011)
- 車載電子制御システムの障害診断手法 : WPMax-SATを利用したCANデータ特異関係の抽出(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2011)