著者

安浦 寛人 村上 和彰 黒木 幸令 櫻井 幸一 佐藤 寿倫 篠崎 彰彦 VASILY Moshnyaga 金谷 晴一 松永 裕介 井上 創造 中西 恒夫 井上 弘士 宮崎 明雄

出版者

九州大学

雑誌

学術創成研究費

巻号頁・発行日

2002

---

本研究では,システムLSI設計技術を今後の高度情報化社会を支える基盤情報技術ととらえ,システムLSIに十分な機能・性能・品質・安全性・信頼性を与えるための統合的な設計技術の確立を目指す.1.高機能・高性能なシステムLSIを短期間に設計する技術では,無線通信機能を有するシステムLSI設計技術の研究を行い,シリコンチップ上にコンパクトで安定なRFフロントエンドを実現するためにコプレナー線路を通常のCMOSプロセスで形成する技術を確立した.また,新しい可変構造アーキテクチャとしてSysteMorphやRedifisプロセッサを提案し,それに対する自動設計ツールとしてRedifisツール群を開発した.2.必要最小限のエネルギー消費を実現する技術としては,データのビット幅の制御,アーキテクチャの工夫,回路およびプロセスレベルでのエネルギー削減技術,通信システム全体の低消費エネルギー化設計手法などを構築した.3.社会基盤に求められる信頼性・安全性を実現する技術としては,安全性・信頼性を向上させるための技術として,ハッシュ関数や暗号用の回路の設計や評価を行った.また,電子投票システムや競売システムなどの社会システムの安全性を保証する新しい仕組みや,セキュリティと消費電力および性能のトレードオフに関する提案も行った.4.社会システムの実例として,個人ID管理の仕組みとしてMIID(Media Independent ID)を提案し,権利・権限の管理なども行えるシステムへと発展させた.九州大学の全学共通ICカードへの本格的な採用に向けて,伊都キャンパスの4000名の職員、学生にICカードを配布して実証実験を行った.本研究を通じて,社会情報基盤のあり方とそこで用いられるシステムLSIの研究課題を明示した.RFIDや電子マネーへの利用についても利用者や運用者の視点からの可能性と問題点をまとめることができた.

著者

松永 裕介 Chen K.C 藤田 昌宏

雑誌

全国大会講演論文集

巻号頁・発行日

vol.42, pp.138-139, 1991-02-25

---

多段論理回路の簡単化手法のうち,多段回路の構造から生じたドントケア条件を考慮して簡単化を行なうBoolean minimizerと呼ばれるものがいくつか提案されている[1],[2],[3].このうち,文献[1] の手法は2段論理式簡単化プログラムESPRESSO-II[4]を利用したもので,どのような回路変換を行なうかというヒューリスティックに関しては場当たり的な変換を行なう他の手法に比べて効率的であるが,通常,多段論理回路の内部のドントケアを表現する2段論理式が巨大なものになってしまい,ドントケアそのものやその否定を扱うことが非常に困難になるという問題がある。そこで,本稿では2分決定グラフ(Binary Decision Diagram)[5]を用いて許容関数を表現しつつ,ESPRESSO-IIと同様のヒューリスティックを用いた2段論理式簡単化手法についての提案を行なう。

著者

朱 強 松永 裕介 木村 晋二 渡邉 勝正

出版者

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

雑誌

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

巻号頁・発行日

vol.99, no.317, pp.31-37, 1999-09-21

---

組合せ回路の実現では多段論理回路の簡単化技術が非常に重要である。多段論理回路の簡単化ではネットワークの接続関係によるドントケアを抽出し、二段最小化アルゴリズムを用いて簡単化を行う。しかし、多くの場合にドントケアのサイズが大きくなり、膨大な計算コストがかかる。本研究では回路を簡単化するための新しいローカルドントケアの抽出法を提案し、それをISCAS89ベンチマーク回路に適用した。実験により、SISのsimplifyコマンドより優れた結果を確認した。

著者

安浦 寛人 佐藤 寿倫 松永 裕介 井上 創造 池田 大輔 石田 浩二 馬場 謙介 吉村 正義 ウッディン モハマッド・メスバ 稲永 俊介

出版者

九州大学

雑誌

基盤研究(A)

巻号頁・発行日

2007

---

社会に不可欠になっている「価値」や「信用」を搭載するLSIについて、ディペンダビリティの定義と評価尺度を提案し、その阻害要因の明確化と要因間の関係の解明を行った。また、LSIのディペンダビリティを向上させる対策を提案し、ディペンダブルLSIの設計フローを提示した。独自技術によるICカードを大学の学生証・職員証として発行し、設計から運用まで一貫してディペンダビリティの一万人規模の社会実験を行える環境を実現した。

著者

松永 裕介

出版者

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

雑誌

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

巻号頁・発行日

vol.96, no.201, pp.1-8, 1996-07-26

---

6月3日から7日にかけて米国ラスベガスにて開催されたDesign Automation Conference(DAC)について報告を行なう.

著者

松永 裕介

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告システムLSI設計技術(SLDM) (ISSN:09196072)

巻号頁・発行日

vol.2000, no.37, pp.57-63, 2000-05-11

被引用文献数

10

---

本稿では,与えられた論理関数に対して直交でない関数分解を求める効率の良いアルゴリズムについて述べる.このアルゴリズムは著者が以前開発した二分決定グラフを用いて直交分解を行うアルゴリズムを利用したものである.通常,直交でない関数分解は多数存在するので無制限に関数分解の列挙を行うことは難しいので,重複した変数の個数が規定値以下の関数分解のみを列挙する様になっている.7入力程度の論理関数に対して適用したところ,ナイーブなアルゴリズムに比べて5?6倍の高速化が達成されている.This paper describes an efficient algorithm enumerating all the non-disjunctive decomposition of a given function. The algorithm utilizes the disjunctive decomposition algorithm using binary decision diagrams that the authors have previously developed. Since, in general, there exist too many non-disjunctive decompositions for ordinary logic functions, the algorithm restricts to enumerate only decompositions whose duplicated variables are less than the given limit. Comparing to the existing naive algorithm, about 5 or 6 times acceleration has been observed for a case of applying to 7-inputs functions.