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.
yosys
190
questions
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 ...
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 ...
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 ...
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 ...
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,
...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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, ...
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 ...
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 ...
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 ...