ロバート・K・ブレイトン

ロバート・K・ブレイトン（1933年10月23日 - 2025年1月10日）は、アメリカの電気技師、数学者であり、カリフォルニア大学バークレー校電気工学・コンピュータ科学科の名誉教授でした。彼は論理合成、形式検証、電子設計自動化（EDA）の分野で60年以上にわたり活躍しました。^{[ 1 ] [ 4 ]}

ブレイトンはアイオワ州エイムズで生まれ、学問的な環境で育ちました。父親は高校教師でした。 1956年にアイオワ州立大学で電気工学の理学士号（BSEE）を取得しました。スペリー社でICBMコンピュータ開発に短期間従事し、 ROTCの義務を果たした後、マサチューセッツ工科大学（MIT）で大学院課程に進み、1961年に数学の博士号を取得しました。MIT在学中、ジョン・マッカーシーの人工知能プロジェクトに貢献し、最初のLISPコンパイラの開発に取り組みました。^{[ 5 ] [ 6 ]}

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

1987年、ブライトンはカリフォルニア大学バークレー校のEECS学科の教授として着任した。彼はケイデンス特別教授（電気工学）となり、エドガー・L・バットナーおよびハロルド・H・バットナー寄付講座の教授職に就いた。バークレーでは、高度な組み合わせ論理および順序論理合成、形式検証、および多段論理最小化の研究に従事した。彼のグループは、回路設計と検証に役立つ多段論理合成システムやEspresso論理最小化ツールなどの開発に貢献した。^{[ 4 ] [ 2 ] [ 1 ]}

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

ブライトンはキャリアを通じて数々の賞や表彰を受けてきた。^{[ 4 ] [ 2 ]}

• ACMパリス・カネラキス理論と実践賞(2006) ^{[ 8 ] [ 9 ]}
• IEEE CAS技術功績賞（1991年）
• IEEE CASギルマン・カウアー賞（1971年）
• ISCASダーリントン賞（1987年）
• IEEE CAS創立50周年記念賞およびIEEEミレニアムメダル（2000年）
• アイオワ州立大学マーストン・メダル（2002年）
• IEEE エマニュエル R. ピオレ賞(2006)
• EDAA 生涯功労賞 (2006 年) ^{[ 10 ]}
• フィル・カウフマン賞（2007年）^{[ 11 ]}
• SIGDA/CEDA A.リチャード・ニュートン技術貢献賞（2009年）
• IEEEおよび米国科学振興協会（AAAS）のフェロー
• 全米技術アカデミー会員^{[ 12 ] [ 13 ]}

• 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: アナログ/ミックスドシグナル検証のための純粋なブールモデルを使用した連続非線形動的システムの近似」、IEEE Asia South-Pacific Design Automation Conference 論文集、2014 年。^{[ 4 ] [ 14 ]}

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

• 論理合成
• 形式検証
• 電子設計自動化
• 全米技術アカデミー（電子工学部門）会員一覧