Caleb Donovick

Caleb Donovick

Stanford University

H-index: 9

North America-United States

About Caleb Donovick

Caleb Donovick, With an exceptional h-index of 9 and a recent h-index of 9 (since 2020), a distinguished researcher at Stanford University,

His recent articles reflect a diverse array of research interests and contributions to the field:

Apex: A framework for automated processing element design space exploration using frequent subgraph analysis

Aha: An agile approach to the design of coarse-grained reconfigurable accelerators and compilers

PEak: A Single Source of Truth for Hardware Design and Verification

Synthesizing Instruction Selection Rewrite Rules from RTL using SMT.

SMT-switch: a solver-agnostic C++ API for SMT solving

Automated design space exploration of cgra processing element architectures using frequent subgraph analysis

Creating an agile hardware design flow

fault: A python embedded domain-specific language for metaprogramming portable hardware verification components

Caleb Donovick Information

University

Position

___

Citations(all)

560

Citations(since 2020)

455

Cited By

283

hIndex(all)

9

hIndex(since 2020)

9

i10Index(all)

9

i10Index(since 2020)

9

Email

University Profile Page

Google Scholar

Top articles of Caleb Donovick

Apex: A framework for automated processing element design space exploration using frequent subgraph analysis

2023/3/25

PEak: A Single Source of Truth for Hardware Design and Verification

arXiv preprint arXiv:2308.13106

2023/8/24

Synthesizing Instruction Selection Rewrite Rules from RTL using SMT.

2022/10/12

SMT-switch: a solver-agnostic C++ API for SMT solving

2021/7/2

Automated design space exploration of cgra processing element architectures using frequent subgraph analysis

arXiv preprint arXiv:2104.14155

2021/4/29

fault: A python embedded domain-specific language for metaprogramming portable hardware verification components

2020

See List of Professors in Caleb Donovick University(Stanford University)