Pith. sign in

REVIEW 1 cited by

Yosys+nextpnr: an Open Source Framework from Verilog to Bitstream for Commercial FPGAs

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1903.10407 v1 pith:S2BBTDNQ submitted 2019-03-25 cs.DC

classification cs.DC
keywords frameworknextpnryosysbeenbitstreamelementsfpgafpgas
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

This paper introduces a fully free and open source software (FOSS) architecture-neutral FPGA framework comprising of Yosys for Verilog synthesis, and nextpnr for placement, routing, and bitstream generation. Currently, this flow supports two commercially available FPGA families, Lattice iCE40 (up to 8K logic elements) and Lattice ECP5 (up to 85K elements) and has been hardware-proven for custom-computing machines including a low-power neural-network accelerator and an OpenRISC system-on-chip capable of booting Linux. Both Yosys and nextpnr have been engineered in a highly flexible manner to support many of the features present in modern FPGAs by separating architecture-specific details from the common mapping algorithms. This framework is demonstrated on a longest-path case study to find an atypical single source-sink path occupying up to 45% of all on-chip wiring.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts

    cs.CR 2026-07 conditional novelty 8.0 of 10

    A Rocq-verified proof chain shows that a constant-time Salsa20 binary running on a synthesizable, pipelined RISC core has cycle-level timing independent of secrets, without trusting the ISA contract.

Pith tools