What is he best known for?
The fields of study he is best known for:
- Algorithm
- Programming language
- Algebra
Robert K. Brayton mainly investigates Algorithm, Theoretical computer science, Logic synthesis, Combinational logic and Logic optimization.
His Algorithm research includes themes of Field-programmable gate array and Node.
His research in Theoretical computer science intersects with topics in Finite-state machine and Algorithm design.
His Logic synthesis research incorporates elements of Computability and Implicant.
His Combinational logic study integrates concerns from other disciplines, such as Boolean circuit, Speedup, Parallel computing and Boolean algebra.
His Logic optimization research integrates issues from Signature, Sequential logic, Gate array and Arithmetic.
His most cited work include:
- Logic Minimization Algorithms for VLSI Synthesis (1271 citations)
- MIS: A Multiple-Level Logic Optimization System (1056 citations)
- VIS: A System for Verification and Synthesis (547 citations)
What are the main themes of his work throughout his whole career to date?
Robert K. Brayton spends much of his time researching Algorithm, Theoretical computer science, Logic synthesis, Sequential logic and Boolean function.
His studies in Algorithm integrate themes in fields like Mathematical optimization and Set.
His Theoretical computer science study frequently involves adjacent topics like Computation.
His Logic synthesis research focuses on Logic optimization in particular.
His work carried out in the field of Logic optimization brings together such families of science as Register-transfer level, Pass transistor logic, Asynchronous circuit and Logic family.
Robert K. Brayton has included themes like Digital electronics and Retiming, Parallel computing in his Sequential logic study.
He most often published in these fields:
- Algorithm (40.87%)
- Theoretical computer science (25.73%)
- Logic synthesis (22.20%)
What were the highlights of his more recent work (between 2006-2020)?
- Algorithm (40.87%)
- Theoretical computer science (25.73%)
- Logic synthesis (22.20%)
In recent papers he was focusing on the following fields of study:
The scientist’s investigation covers issues in Algorithm, Theoretical computer science, Logic synthesis, Boolean function and Sequential logic.
His biological study spans a wide range of topics, including Set and Parallel computing.
Robert K. Brayton has researched Theoretical computer science in several fields, including Finite-state machine, State and And-inverter graph.
His Logic synthesis research entails a greater understanding of Logic gate.
In his work, Computer engineering is strongly intertwined with Netlist, which is a subfield of Boolean function.
His Sequential logic research incorporates themes from Transformation, Combinational logic and Speedup.
Between 2006 and 2020, his most popular works were:
- ABC: an academic industrial-strength verification tool (416 citations)
- Efficient implementation of property directed reachability (243 citations)
- Combinational and sequential mapping with priority cuts (106 citations)
In his most recent research, the most cited papers focused on:
- Algorithm
- Programming language
- Algebra
Algorithm, Theoretical computer science, Sequential logic, Formal equivalence checking and Logic synthesis are his primary areas of study.
The concepts of his Algorithm study are interwoven with issues in Interpolation, Electronic design automation and Parallel computing.
His Theoretical computer science research is multidisciplinary, relying on both Boolean function, And-inverter graph and Netlist.
His Sequential logic study combines topics from a wide range of disciplines, such as Redundancy, Combinational logic and Speedup.
His work in Logic synthesis tackles topics such as Standard cell which are related to areas like Graph, Computer hardware, Real-time computing, Digital electronics and Design flow.
His Binary decision diagram research focuses on subjects like State, which are linked to Finite-state machine.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
