← Leaderboards
Robert K Brayton
University Of California-Berkeley
$1,624,854
Attributed
$2,499,708
Total exposure
6
Grants
3
Lead (contact PI)
Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.
Funding over time
peak $900K · FY2007–16$1M$750K$500K$250K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
Funding mix
By agency
NSF$2,499,708 · 6
By mechanism
—$2,499,708 · 6
Top collaborators
- Alan Mishchenko1 shared
- Dmitri Strukov1 shared
- Jaijeet Roychowdhury1 shared
- Jason Cong1 shared
Grant awards (6)
SHF: Medium: Booleanized Verification of Analog/Mixed Signal Systems$900,000
· FY2016 · CSE
SHF: Small: Bit-level Formal Verification: Keeping Pace with Industrial Needs$450,000
· FY2012 · CSE · contact PI
SHF: Small: Design, Modeling and Automation of Monolithically Stackable Hybrid CMOS/Memristor Programmable Circuits$524,708
· FY2010 · CSE
NSF Workshop; Electronic Design Automation -- Past, Present, and Future$50,000
· FY2009 · CSE
Sequentially Transparent Synthesis$275,000
· FY2007 · CSE · contact PI
ITR: Synthesis System for Discrete Event Systems through Solving Equations over Mathematical Machines$300,000
· FY2003 · CSE · contact PI