著者

鈴木 一哉 吉田 たけお 三浦 幸也

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. VLD, VLSI設計技術

巻号頁・発行日

vol.96, no.425, pp.41-48, 1996-12-13

参考文献数

10

---

本稿では設計されたハードウェアの構造がその動作仕様を満たしているかどうかを検証する方法を提案する.従来の検証法で用いられている一階述語論理は再帰的な表現ができないため,順序回路を含むようなハードウェアを表現できない.本稿では高階述語論理を用いることによってこの問題を解決する.本稿ではまず仕様である動作記述およびその設計である構造記述をそれぞれ高階述語論理式に変換する方法を示す.仕様記述および設計記述を表す論理式から"設計が仕様を満たしている"という意味を表す論理式を作り,この論理式を証明することによって検証を行なう.さらに本稿ではこの論理式を定理証明系を用いて証明する際の手順も示す.

著者

佐久真 源太 島尻 寛之 吉田 たけお

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. VLD, VLSI設計技術 (ISSN:09135685)

巻号頁・発行日

vol.103, no.145, pp.109-114, 2003-06-20

被引用文献数

4

---

本稿では,パス遅延故障のテストに用いられている2パターンテストの考えを応用した,パス遅延故障を検出可能な順序回路の構成法について示す.パス遅延故障は順序回路のレジスタの値に影響を及ぼすことから,レジスタの値を観測することにより,パス遅延故障を検出することが可能と考えられる.そこで本稿では,順序回路に対するパス遅延故障の検出条件について検討する.また順序回路に対して,この条件を満たす状態遷移図や状態割り当ての方法を提案する'さらに,提案した方法を用いたパス遅延故障を検出可能な順序回路の設計例を示す.

著者

和田 知久 翁長 健治 宮城 隼夫 吉田 たけお 尾知 博

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. ICD, 集積回路 (ISSN:09135685)

巻号頁・発行日

vol.100, no.41, pp.27-33, 2000-05-04

---

琉球大学では、ハードウエア記述言語を(VHDLまたはVerilog HDL)を用いたデザイン・コンテストを開催しました。コンテストは今年度が3回目でり、今年度より琉球大学の学生だけでなく、他大学や高等専門学校の学生も参加できるようにオープンなコンテストで、2月18日の締切りまでに15チーム(30名)の学生達の参加がありました。課題はガロア体の行列演算器であり、事前選考の結果、京大・阪大・九工大・豊田工業高等専門学校より6チームの代表を沖縄に招待し、琉大の4チームと合わせて、計10チームによる発表会を3月3日に琉球大学工学部にて行いました。琉球大学学部3年生の「タートルネックス」チームが、他大学を抑えて最優秀賞に輝きました。

著者

菊池 誠 牧野 淳一郎 吉田 たけお

出版者

CQ出版社

雑誌

インタ-フェ-ス (ISSN:03879569)

巻号頁・発行日

vol.29, no.8, pp.60-66, 2003-08