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
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.
Forward citations
Cited by 1 Pith paper
-
Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts
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.
Discussion (0). Continue with ORCID to comment.