Robert K. Brayton - Concepedia

Author

Robert K. Brayton

University of California, Berkeley ORCID

Also Known As

Brayton, Robert, Brayton, Robert K, Brayton, Robert K., R Brayton, R K Brayton, R. Brayton, R. K. BRAYTON, R. K. Brayton, R.K Brayton, R.K. Brayton

584

Publications

24.8K

Citations

H-Index

251

Concepts

All Affiliations

University of California, Berkeley Cadence Design Systems (United States)Lawrence Berkeley National Laboratory IBM Research - Thomas J. Watson Research Center

About

Robert K. Brayton is an author at University of California, Berkeley specializing in engineering, computer science, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	60	225	16.2K
2	Business	9	9	871
3	Medicine	6	6	619
4	Language Studies	5	5	126
5	Management	1	1	12

Robert K. Brayton

267

Publications

18.5K

Citations

H-Index

Page 1

	Year	Citations
MIS: A Multiple-Level Logic Optimization System Robert K. Brayton, Richard Rudell, Alberto Sangiovanni‐Vincentelli, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Logic SynthesisEngineeringMinimization SystemElectronic Design AutomationAutomated Reasoning	1987	1.2K
Sequential circuit design using synthesis and optimization Ellen Sentovich, K.J. Singh, Cho W. Moon, EngineeringElectronic DesignComputer ArchitectureSequential Circuit DesignSystem-level Design	2003	607
Logic verification using binary decision diagrams in a logic synthesis environment Sharad Malik, A.R. Wang, Robert K. Brayton, Applied LogicEngineeringVerificationComputer-aided VerificationCombinational Logic Verification	2003	501
DAG-aware AIG rewriting a fresh look at combinational logic synthesis Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton Artificial IntelligenceApplied LogicEngineeringElectronic Design AutomationIndustrial Engineering	2006	468
A theory of nonlinear networks. I Robert K. Brayton, Jürgen Moser Quarterly of Applied Mathematics Applied Mathematical ModellingNetwork TheoryNetwork ScienceSuch NetworksEngineering	1964	451
Model-checking continuous-time Markov chains Adnan Aziz, Kumud Sanwal, Vigyan Singhal, ACM Transactions on Computational Logic EngineeringAutomated ReasoningProbabilistic VerificationVerificationFormal Methods	2000	412
Multilevel logic synthesis Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni‐Vincentelli Proceedings of the IEEE Applied LogicEngineeringSynthesis MethodsSystem-level DesignSystem Synthesis	1990	408
Implicit state enumeration of finite state machines using BDD's H.J. Touati, H. Savoj, Binshan Lin, Circuit ComplexityEngineeringBoolean FunctionComputational ComplexityFormal Verification	2002	400
Optimal State Assignment for Finite State Machines Giovanni De Micheli, Robert K. Brayton, Alberto Sangiovanni‐Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Mathematical ProgrammingEngineeringComputer ArchitectureComputational ComplexityLogic Minimization	1985	344
The Sparse Tableau Approach to Network Analysis and Design Gary D. Hachtel, Robert K. Brayton, Fred G. Gustavson IEEE Transactions on Circuit Theory Mathematical ProgrammingCluster ComputingEngineeringNetwork AnalysisComputational Complexity	1971	341

Page 1