ZP Cosim

Tool

First seen 7/11/2026

Last seen 7/11/2026

Evidence 14 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

26 connections

Dromajo uses → 99% 3e

ZP Cosim uses Dromajo as its golden reference ISA simulator for cosimulation

Co-simulation implements → 98% 3e

ZP Cosim implements cosimulation between a golden reference model and the processor under test

coverspace preprocessing implements → 93% 2e

ZP Cosim implements coverspace preprocessing to reduce redundant coverpoints

Surelog uses → 98% 2e

ZP Cosim uses Surelog to parse SystemVerilog hardware descriptions

FPGA shell uses → 97% 2e

ZP Cosim features a customizable FPGA shell for coverage and trace extraction

Universal Hardware Data Model uses → 98% 2e

ZP Cosim uses UHDM as the intermediate representation of hardware designs for coverage walking

AXI interface uses → 92% 2e

ZP Cosim uses AXI interfaces for communication between PS and PL in the FPGA shell

automated coverage instrumentation introduces → 98% 2e

ZP Cosim introduces a novel implementation of automated coverage instrumentation

Zynq-Parrot uses → 99% 2e

ZP Cosim builds on the existing Zynq-Parrot infrastructure

FPGA-accelerated cosimulation implements → 99% 2e

ZP Cosim is a framework for FPGA-accelerated cosimulation of RISC-V processors

unreachability analysis implements → 95% 2e

ZP Cosim implements unreachability analysis using Synopsys VC Formal

Mux Toggle Coverage implements → 97% 2e

ZP Cosim implements the Mux Toggle Coverage metric

BlackParrot evaluates → 99% 2e

ZP Cosim was applied to and evaluated against the BlackParrot processor, discovering 4 bugs

Coverage Walker uses → 97% 2e

ZP Cosim includes and uses Coverage Walker to identify coverpoints

Ultra96v2 uses → 93% 2e

ZP Cosim runs on the Ultra96v2 FPGA board via Zynq-Parrot

SPEC 2017 benchmarks evaluates → 93% 2e

ZP Cosim runs SPEC 2017 benchmarks to evaluate coverage on BlackParrot

University of Washington published by → 97% 1e

ZP Cosim was presented as a thesis at the University of Washington

case-statement coverage implements → 90% 1e

ZP Cosim provides a proof-of-concept case-statement coverage implementation

localized cross products implements → 93% 1e

ZP Cosim overcomes the cross-product state-space explosion by implementing localized cross products

Verilator uses → 97% 1e

ZP Cosim supports simulation using Verilator as a backend

Synopsys VCS uses → 97% 1e

ZP Cosim supports simulation using Synopsys VCS as a backend

Synopsys VC Formal uses → 96% 1e

ZP Cosim uses Synopsys VC Formal for unreachability analysis of coverpoints

BEEBS benchmarks evaluates → 90% 1e

ZP Cosim evaluates BEEBS benchmarks for coverage on BlackParrot

riscv-tests evaluates → 90% 1e

ZP Cosim runs RISC-V Tests for coverage evaluation

riscv-dv uses → 90% 1e

ZP Cosim uses RISCV-DV as a program generator for generating test vectors

Anoop Mysore Nataraja authored by → 99% 1e

ZP Cosim was developed by Anoop Mysore Nataraja