Skip to main content

Questions tagged [yosys]

Yosys is an open-source framework for (Verilog) HDL synthesis and formal verification. It is highly customizable using scripts and a C++ extensions API.

Filter by
Sorted by
Tagged with
0 votes
0 answers
98 views

yosys works with Verilog but not with SystemVerilog (with the systemverilog plugin)

I've installed yosys. I've installed the systemverilog plugin from https://github.com/chipsalliance/synlig. I can load the plugin, but then it can't find the top module. yosys -p "plugin -i ...
Justin808's user avatar
  • 21.4k
0 votes
0 answers
53 views

How can I avoid nextpnr-ecp5 giving the error "D input must be connected only to a top level input"

I need to use the Lattice ECP5 primitive IDDR71B "7:1 LVDS Input Supporting 1:7 Gearing" in a project. I have not found any examples that can be built using yosys and nextpnr. To try and ...
user24661432's user avatar
0 votes
1 answer
152 views

how to write a library file

I'm trying to learn synthesizing with yosys.Im working with verilog now. I know we need a library file for it, and I have written a .v file for it. how do I convert this into a .lib file? In other ...
pixiethepixel's user avatar
0 votes
1 answer
170 views

Formal verification of state machine with SymbiYosys not giving expected results

I'm trying to verify a very simple state machine written in verilog with SymbiYosys. It is failing and I cannot figure out what I am doing incorrectly, and would like some help in figuring it out. I ...
Christopher P's user avatar
1 vote
1 answer
241 views

Verilog: mapping an memory array

I'm trying to make a memory in system verilog and it can be synthesised only when I want to write to the memory directly. Here is a code that DOES work: module top ( input logic clk_i, ...
Filip's user avatar
  • 83
1 vote
1 answer
120 views

Incremental synthesis with yosys

For a multi-file Verilog project using Yosys for synthesis, the script would generally look something like the following: # read the all files read_verilog *.v # synthesis synth -top # output ...
Echo_Zero's user avatar
0 votes
0 answers
50 views

Yosys: how to convert D-latches to FFs and LUTs?

I want to synthesis a design that has latches into a set of primitives (only FFs and LUTs are supported) I am expecting a switch similar to dff_legalize. If not possible should I change the RTL? I ...
AlfaRossati's user avatar
2 votes
1 answer
107 views

In FPGA, why counter with full adder raw implementation have better clock performance than infered addition '+'?

I'm testing counter and addition performances on ICE40 and Gatemate FPGAs. I wrote counter in two differents way : NaturalCounter using the operator '+' of chisel (view source): // Natural counter ...
FabienM's user avatar
  • 3,709
0 votes
1 answer
572 views

Verilog/SystemVerilog: "constant" function is considered non-constant

I have a Module which has a port whos width should depend on a value from a function: (Syntax is Verilog/Systemverilog mixed as i am using yosys for synthesis, which only supports a limited amount of ...
em-rg-ncy's user avatar
0 votes
0 answers
76 views

Can I use yosys in Visual Studio Code with connect to WSL

I'm going to use Yosys to synthesize my IC design project for a subject at school. I have used WSL to code before so I wonder if I can use Yosys without installing Ubuntu to my computer I have tried ...
viên phùng's user avatar
0 votes
1 answer
272 views

yosys: Generate Graphviz representation of design without running 'hierarchy'

I am using yosys to read a gate-level Verilog file, and subsequently output the design to a Graphviz dot file to visualize it. Measuring the time taken for the yosys commands used, it seems like ...
bagelfire's user avatar
0 votes
0 answers
66 views

sequential RTL to combinational gate netlist

I have a dataset of RTL benchmarks, I was wondering if it is possible to convert a sequential RTL to a simple netlist with logic gates( AND, NOT, XOR. ..) instead of sequential components(FFs, ...
gizen's user avatar
  • 21
0 votes
1 answer
176 views

Yosys optimizes GPIO RX module away

I recently started playing with the iE40 icestick evaluation board. I encountered what I think is strange behavior: It seems that Yosys wants to optimizes away a module which takes a port connected to ...
Cornelius Korinthia's user avatar
0 votes
1 answer
248 views

Getting "Warning: Driver-driver conflict" errors from yosys

I'm messing around with FPGAs and am running into some warnings that I sort of understand but don't know what's causing them. My understanding is there was a conflict of some kind and it is resolved ...
Justin808's user avatar
  • 21.4k
0 votes
1 answer
237 views

Yosys: how to remove useless internal wires

Assume I have the following verilog: module demo(input a, output b); wire c; assign c = ~a; assign b = c; endmodule I would like to generate a verilog where the wire c is removed. I tried ...
alex137's user avatar
  • 178

15 30 50 per page
1
2 3 4 5
13