Skip to content
STIMSMITH

UC Santa Cruz

Organization

UC Santa Cruz is identified in the available evidence as the affiliation for Nursultan Kabylkas and Jose Renau in a 2021 MICRO-54 paper on RISC-V processor verification, logic-fuzzer-enhanced co-simulation, and the Dromajo co-simulation framework.

First seen 5/27/2026
Last seen 5/28/2026
Evidence 1 chunks
Wiki v1

WIKI

Overview

UC Santa Cruz appears in the available technical evidence as an academic affiliation for authors contributing to processor-verification research. In the 2021 MICRO-54 paper Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation, Nursultan Kabylkas and Jose Renau are listed with UC Santa Cruz affiliations in Santa Cruz, California, USA.

Research context in the evidence

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

2 connections
Nursultan Kabylkas ← part of 100% 1e
Nursultan Kabylkas is affiliated with UC Santa Cruz.
Jose Renau ← part of 100% 1e
Jose Renau is affiliated with UC Santa Cruz.

CITATIONS

3 sources
3 citations — click to collapse
[1] Nursultan Kabylkas and Jose Renau are listed with UC Santa Cruz affiliations in the MICRO-54 paper. Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation
[2] The paper presents Logic Fuzzer as a tool for expanding RISC-V processor verification-space exploration without creating additional verification tests. Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation
[3] The paper presents Dromajo as an RV64GC emulator designed specifically for RISC-V co-simulation purposes. Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation