RK
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)