RK

Robert K. Brayton

University of California, Berkeley 0000-0002-3861-1718

586

Publications

25,101

Citations

75

h-index

315

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (440)
Book Chapter (127)
Book (15)
Preprint (2)
Editorial (1)

Filter by Open Access Type

Open Access (68)
Closed Access (518)

Filter by Authors

Robert K. Brayton (586)
Alberto Sangiovanni‐Vincentelli (199)
Alan Mishchenko (101)
Tiziano Villa (83)
Timothy Kam (38)

Filter by Topics

Formal Methods in Verification (289)
VLSI and Analog Circuit Testing (206)
Low-power high-performance VLSI design (171)
Embedded Systems Design Techniques (151)
VLSI and FPGA Design Techniques (133)