基礎・境界/NOLTA-VLSI設計技術(開催日:2006/11/21)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2006/11/21
[資料番号]
目次

,  

[発表日]2006/11/21
[資料番号]
仕様書から検証シナリオを生成する手法(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

大石 亮介,  松田 明男,  岩下 洋哲,  高山 浩一郎,  

[発表日]2006/11/21
[資料番号]VLD2006-51,DC2006-38
同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

小澤 弘明,  浜口 清治,  柏原 敏伸,  

[発表日]2006/11/21
[資料番号]VLD2006-52,DC2006-39
動的局所変数を含むアサーションに対する限定モデルチェッキング(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

竹内 翔,  浜口 清治,  柏原 敏伸,  

[発表日]2006/11/21
[資料番号]VLD2006-53,DC2006-40
算術演算回路の形式的検証手法とその評価(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

渡邉 裕樹,  本間 尚文,  青木 孝文,  樋口 龍雄,  

[発表日]2006/11/21
[資料番号]VLD2006-54,DC2006-41
平衡構造に基づく階層テストにおけるテストプラン生成法(VLSIのテストI,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

川原 侑大,  市原 英行,  井上 智生,  

[発表日]2006/11/21
[資料番号]VLD2006-55,DC2006-42
マルチメディアコアの展開機能を利用したテストデータ圧縮・展開(VLSIのテストI,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

瀬戸原 志典,  中島 佑介,  市原 英行,  井上 智生,  

[発表日]2006/11/21
[資料番号]VLD2006-56,DC2006-43
ブロードサイドテストにおけるN回検出用テストパターンに対するX判定(VLSIのテストI,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

谷口 謙二郎,  宮瀬 紘平,  梶原 誠司,  温 暁青,  

[発表日]2006/11/21
[資料番号]VLD2006-57,DC2006-44
Decision Diagram Data Structure to Represent Quantum Circuit

山下 茂 /,  

[発表日]2006/11/21
[資料番号]VLD2006-58,DC2006-45
LUT段数最小かつ個数極小なLUT型FPGA向けテクノロジ・マッピング(論理・回路設計,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

高田 大河,  松永 裕介,  

[発表日]2006/11/21
[資料番号]VLD2006-59,DC2006-46
高速モードと低消費電力モードを有する2線式論理回路の設計手法(論理・回路設計,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

森本 薫夫,  永田 真,  瀧 和男,  

[発表日]2006/11/21
[資料番号]VLD2006-60,DC2006-47
メモリコアに対する組込み自己修復を考慮したSoCのテストスケジューリング(VLSIのテストII,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

福田 雄介,  米田 友和,  藤原 秀雄,  

[発表日]2006/11/21
[資料番号]VLD2006-61,DC2006-48
動的再構成可能なプロセッサの自己テストに関する考察(VLSIのテストII,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

藤井 昂志,  市原 英行,  井上 智生,  

[発表日]2006/11/21
[資料番号]VLD2006-62,DC2006-49
束データ方式による非同期式回路の動作合成手法の提案(動作合成/データパス合成,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

濱田 尚宏,  小西 隆夫,  齋藤 寛,  米田 友洋,  南谷 崇,  

[発表日]2006/11/21
[資料番号]VLD2006-63,DC2006-50
遅延ばらつきを考慮したデータパス合成に関する基礎的考察(動作合成/データパス合成,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

井上 恵介,  金子 峰雄,  岩垣 剛,  

[発表日]2006/11/21
[資料番号]VLD2006-64,DC2006-51
データパス合成における制御信号のスケジュール及びスキューの同時最適化問題の計算複雑さについて(動作合成/データパス合成,デザインガイア2006-VLSI設計の新しい大地を考える研究会)

小畑 貴之,  金子 峰雄,  

[発表日]2006/11/21
[資料番号]VLD2006-65,DC2006-52
複写される方へ

,  

[発表日]2006/11/21
[資料番号]
Notice about photocopying

,  

[発表日]2006/11/21
[資料番号]
奥付

,  

[発表日]2006/11/21
[資料番号]