ロバート・K・ブレイトン
アメリカの電気技師（1933–2025）
ロバート・キング・ブレイトン
生まれる（1933年10月23日）1933年10月23日
エイムズ、アイオワ州、米国
死亡2025年1月10日（2025年1月10日）（91歳）
米国カリフォルニア州バークレー
母校アイオワ州立大学（BSEE）、マサチューセッツ工科大学（Ph.D.）[3]
知られている論理合成、形式検証、回路シミュレーション
配偶者ルース・B・ブレイトン
子供たち3
受賞歴ACMパリ・カネラキス賞、[1] IEEEエマニュエル・R・ピオーレ賞、IEEE CAS技術功績賞、EDAA生涯功績賞、フィル・カウフマン賞、米国工学アカデミー、IEEEフェロー、AAASフェロー
科学者としてのキャリア
フィールド電気工学、コンピュータサイエンス
機関IBM TJワトソン研究所、カリフォルニア大学バークレー校
博士課程の指導教員ノーマン・レビンソン[2]
著名な学生シャラド・マリク[2]
Webサイトwww2.eecs.berkeley.edu/Faculty/Homepages/brayton.html

ロバート・K・ブレイトン（1933年10月23日 - 2025年1月10日）は、アメリカの電気技術者、数学者であり、カリフォルニア大学バークレー校電気工学・コンピュータサイエンス学部の名誉教授であった。彼は論理合成、形式検証、電子設計自動化（EDA）の分野で60年以上のキャリアを積んだ。[3] [4]

幼少期と教育

ブレイトンはアイオワ州エイムズに生まれ、高校教師の父親のもと、アカデミックな環境で育った。 1956年にアイオワ州立大学で電気工学の理学士号（BSEE）を取得した。その後、スペリー社でICBM用コンピュータ開発に携わり、ROTC（予備役将校訓練課程）の任務を遂行した後、マサチューセッツ工科大学（MIT）で大学院課程を修了し、1961年に数学の博士号を取得した。MIT在学中、ジョン・マッカーシーの人工知能プロジェクトに貢献し、最初のLISPコンパイラの開発に携わった。[5] [6]

キャリア

ブレイトンは、ニューヨーク州ヨークタウン・ハイツにあるIBMのTJワトソン研究所でキャリアをスタートさせ、 1961年から1987年まで26年間、数理科学部門に勤務しました。そこで彼はヨークタウン・シリコン・コンパイラ・チームを率い、回路シミュレーションの基礎となるスパース・タブロー手法を共同開発しました。ブレイトンの回路シミュレーションと論理表現に関する初期の研究は、設計自動化ツールの進化に貢献しました。[3] [4] [5]

1987年、ブレイトンはカリフォルニア大学バークレー校の電気電子工学科教授に就任した。ケイデンス社電気工学特別教授に就任し、エドガー・L・バトナー・アンド・ハロルド・H・バトナー寄付講座も務めた。バークレーでは、高度な組合せ論理合成および順序論理合成、形式検証、多段論理最小化の研究に従事した。彼のグループは、多段論理合成システムや、回路設計と検証を支援するEspressoロジック最小化ツールなどの開発に貢献した。[4] [1] [3]

研究と貢献

ブレイトンの研究は、非線形ネットワーク解析、回路シミュレーション、論理合成、形式検証など、幅広い分野に及びました。彼は450本以上の技術論文と10冊以上の著書を執筆しました。[4]彼は論理合成、特にアルゴリズムとツールの開発と実用化に貢献しました。[1] [7]

賞と栄誉

ブレイトンはキャリアを通じて賞や表彰を受けた。[4] [1]

選定された出版物

  • GD Hachtel、RK Brayton、「ロジック合成および検証アルゴリズム」、Kluwer Academic Publishers、1995 年。
  • RK Brayton、R. Spence、「感度と最適化」、電子回路のコンピュータ支援設計、Elsevier Scientific、1980 年。
  • K. Aadithya、S. Ray、P. Nuzzo、A. Mishchenko、RK Brayton、J. Roychowdhury、「ABCD-NL：アナログ/ミックスシグナル検証のための純粋ブールモデルを使用した連続非線形動的システムの近似」、Proc. IEEE Asia South-Pacific Design Automation Conference、2014年。[4] [14]

私生活

ブレイトンはルース・B・ブレイトンと結婚し、ジェーン・バーチャード、ジム・ブレイトン、マイケル・ブレイトンの3人の子供をもうけた。ロバート・K・ブレイトンは2025年1月10日、カリフォルニア州バークレーにて91歳で亡くなった。[15] [16] [17]

参照

参考文献

  1. ^ abcd 「ACM Honors Electronic Design Automation Technologies Pioneer」ACM. 2007年3月29日. 2025年8月8日閲覧。
  2. ^ ab 「ロバート・キング・ブレイトン - 数学系譜プロジェクト」ノースダコタ州立大学. 2025年8月8日閲覧。
  3. ^ abcd "Robert K. Brayton - Engineering and Technology History Wiki". Engineering and Technology History Wiki (ETHW) . 2025年8月8日閲覧。ロバート・K・ブレイトンは、論理合成、形式検証、電子設計自動化への根幹的貢献で知られる、先駆的な電気技術者であり教授でした。彼はカリフォルニア大学バークレー校のケイデンス特別教授を務め、全米工学アカデミーの会員でもありました。
  4. ^ abcdef "Robert K. Brayton". UC Berkeley EECS . 2025年8月8日閲覧。
  5. ^ ab 「Brayton, Bob (Robert K.) oral history」. コンピュータ歴史博物館. 2014年3月20日. 2025年8月8日閲覧。
  6. ^ 「ロバート・ブレイトン（1933-2025）と最初のLispコンパイラ - マクジョーンズ」2025年7月15日. 2025年8月8日閲覧。
  7. ^ 「Robert Brayton - ACM Awards」ACM . 2025年8月8日閲覧。
  8. ^ 「ロバート・ブレイトン - ACMパリ・カネラキス理論・実践賞」。Association for Computing Machinery (ACM) 。2025年8月8日閲覧。ロバート・K・ブレイトンは、「論理合成および電子システムシミュレーションのためのアルゴリズムの開発と実用化を主導し、電子設計自動化（EDA）業界における重要な基盤技術の創出に貢献した」として、2006年のACMパリ・カネラキス理論・実践賞を受賞しました。
  9. ^ 「ACMが電子設計自動化技術のパイオニアを表彰」ACM. 2007年3月29日. 2025年8月8日閲覧。ロバート・ブレイトンは、論理合成と電子システムシミュレーションへの革新的な貢献により、電子設計自動化業界における迅速な回路設計技術の実現に貢献したことが認められ、ACMパリ・カネラキス理論・実践賞を受賞しました。
  10. ^ 「ロバート・ブレイトン教授が2006年度欧州設計自動化協会（EDAA）生涯功労賞を受賞」カリフォルニア大学バークレー校EECS。2006年7月19日。 2025年8月8日閲覧。ロバート・ブレイトン教授が2006年度欧州設計自動化協会（EDAA）生涯功労賞を受賞しました。この賞は、電子設計、電子設計自動化、電子システムのテストにおける最先端技術に卓越した貢献をした個人に贈られます。
  11. ^ 「ロバート・K・ブレイトン博士、第14回カウフマン賞受賞」EDN、2007年9月25日。2025年8月8日閲覧。カリフォルニア大学バークレー校のケイデンス電気工学・コンピュータサイエンス特別教授であるロバート・K・ブレイトン博士が、電子設計自動化（EDA）への顕著な貢献に対して贈られるフィル・カウフマン賞の今年の受賞者に選出されました。EDAコンソーシアムとIEEE EDA評議会が主催するこの賞は、11月1日に開催される第14回カウフマン賞授賞式でブレイトン博士に授与されます。
  12. ^ 「NAE、教員3名、卒業生11名を選出 - MITニュース」マサチューセッツ工科大学ニュースオフィス。1993年2月24日。 2025年8月8日閲覧。選出された卒業生は以下の通り：ロバート・K・ブレイトン（カリフォルニア大学バークレー校、電気工学・コンピュータサイエンス教授）。
  13. ^ 「Robert K. Brayton - UC BerkeleyのEECS」カリフォルニア大学バークレー校 電気工学・コンピュータサイエンス学科. 2025年8月8日閲覧。彼は1993年に選出された米国工学アカデミー（NAE）の会員である。
  14. ^ 「Faculty Publications - Robert K. Brayton」カリフォルニア大学バークレー校. 2025年8月8日閲覧。
  15. ^ 「ロバート・ブレイトン死亡記事 (1933 - 2025)」サンフランシスコ・クロニクル、Legacy.com経由。Legacy.com。2025年1月15日。 2025年8月19日閲覧。
  16. ^ 「論理合成と形式検証の先駆者であるボブ・ブレイトン教授が逝去」カリフォルニア大学バークレー校 EECS. 2025年1月17日. 2025年8月8日閲覧。
  17. ^ 「Vigyan Singhalの投稿 - Robert K.」2025年1月13日。 2025年8月8日閲覧。
「https://en.wikipedia.org/w/index.php?title=Robert_K._Brayton&oldid=1327951749」より取得