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.
180
questions
0
votes
0
answers
20
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
116
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
106
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
115
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 ...
0
votes
1
answer
108
views
BLIF outputed by yosys involves DFF, and the BLIF file cannot be read by ABC
I'm new to yosys and ABC for logic synthesis. I downloaded one design aes_core from opencores, and run the following script with yosys to map the design into blif:
read_verilog ./designs/apbtoaes128/...
2
votes
0
answers
118
views
Logical synthesis of decoder into standard logical cells
I have a decoder defined in verilog as:
module my_decoder(
input [3:0] in,
output reg[19:0] out
);
always@(*) begin
case (in)
4'd0: out= 20'd114912;
4'...
2
votes
1
answer
396
views
Yosys: Multiple edge sensitivities for asynchronous reset
I am teaching myself verilog, bare with me. :)
I have a clock line called enable coming from a clock divider I created.
I also have a rst button on my devboard.
I would like to modify the following ...
-1
votes
1
answer
218
views
Support for ICE40UP5K-SG48I?
I asked this question .. and got no answers and down voted
The IceStorm website shows support for,
iCE40-UP5K-UWG30
The Single Wire Aggregation Demo / Development Board from Lattice
uses a Different ...
1
vote
1
answer
572
views
What is the most powerful FPGA that yosys / Project IceStorm will target?
I have written an integer RISC-V-64 CPU in verilog. It builds with Verilator and passes tests, so now I want to upload it to an FPGA.
I am new to this FPGA world. I have a Zybo Zynq 7000 given to me ...
0
votes
1
answer
91
views
Does operator of `[]` of std::map always put the new item into the first place of iterator?
Hi I've met a problem relating to iterator order of inserted values in std::map by operator [].
The code is a github program in line 265: many_async_rules[rstval].insert(sync_level);
The definition of ...
0
votes
1
answer
82
views
why are SB_LUT4 and SB_DFF not being packed by nextpnr?
I added the yosys tag, though this question is probably more about nextpnr (which has no tag on this site).
I'm using yosys with nextpnr-ice40 on the following file.
When I dump the design with --post-...
1
vote
1
answer
183
views
Why do I get "Module port is neither input nor output" for all wires?
The error I get when trying to run the program is:
Yosys failed with code 1 unnamed.sv:5: ERROR: Module port `\D0' is
neither input nor output.
This happens for all the wires.
module twobitmulti (A1,...
0
votes
1
answer
226
views
How to see the synthesized RTL in openlane?
I have just started learning openlane. I want to see the RTL synthesis using openlane similar to how we get in vivado RTL synthesis. I have gone through the documentation but could not find anything ...
0
votes
1
answer
343
views
iceprog - Can't find iCE FTDI USB device with Alchitry CU
I'm trying to upload my build code to my alchitry-CU FPGA board threw apio using iceprog on windows.
apio upload
which then executes
iceprog -d i:0x0403:0x6010:0 hardware.bin
And the output is
init.....
-1
votes
1
answer
223
views
write_verilog without instance names in Yosys
I am trying to use the write_verilog command to generate the nestlist without containing any cell names; rather, only with the verilog expressions. I try the following:
write_verilog -noexpr synth_001....
0
votes
1
answer
119
views
Yosys AIG output format unclear
I would like to know the format for the AIG generated by the json -aig command
Example output:
"models": {
"$xor:0:0:1:1:1": [
/* 0 */ [ "port", "A&...
-3
votes
1
answer
261
views
Do sub modules get stimulated independently by the solver or through the connected top level module?
I am trying to work through a tutorial with example exercises from Dan Gizzelquist.
One of those exercises (exercise 4) implements a shift register, composed by two sub module and a top module.
Edit: ...
2
votes
2
answers
257
views
Why Yosys synthesis the sequential statement to constant
I have the Verilog statement below:
module test (A,B, CLK);
input A, CLK;
output B;
always@(posedge CLK)
if(A) B <= 1'b1;
endmodule
I am expecting a register. However, after I ...
0
votes
1
answer
341
views
Yosys - ERROR: TCL interpreter returned an error: invalid command name "verilog_defaults"
I am trying to write a tcl script to read and synthesize a design. I used the following commands at the top of the tcl file and executed it with yosys -c filename.tcl.
verilog_defaults -add -I<...
1
vote
1
answer
539
views
convert verilog to aiger with Yosys
I have several verilog files which I want to convert to aiger format using Yosys, I use the following commmad in yosys:
read_verilog gclk_reg.v nld_and.v my_ff_W_8_.v gated_netlist.v
synth_xilinx -...
1
vote
1
answer
532
views
iCE40 Ultra Plus 5k — how to set PLL (without propietary GUI tools) (continued)
In this question, I was suggested to use the existing libraries in order to test a PLL for the iCE40 Ultra Plus 5k.
I bought the Icebreaker V1.0e board and it looks like this:
External 12 MHz ...
0
votes
1
answer
2k
views
Yosys -- producing an electronic schematics from verilog
I know, how to use yosys compile a .dot file from a verilog .v file in order to graphically check the verilog design. I use a target like this in my makefiles:
dot:
yosys \
-p "...
0
votes
2
answers
726
views
Yosys -- compilation of .dot file suceeds, but viewer (xdot) can't preview it
I have two modules, each in sepparate verilog file. One file is double_shift_reg.v with the top module double_shift_reg:
`include "./shift_reg.v"
`default_nettype none
module ...
0
votes
1
answer
173
views
Formal verification with yices -- broken pipe
I am trying to formally verify my verilog FPGA design led_walker.v. So I first synthesize it to an .smt2 file:
┌───┐
│ $ │ ziga > ziga--workstation > 001--led_walker--verification
└─┬─┘
└─>...
0
votes
1
answer
485
views
How to get .bench file from verilog file
Test.v is here:
module test(input A, B, C, D, E, output Y);
assign Y = ((A^B)&C)^(D&E);
endmodule
Firstly I get .blif file by yosys (I use mycells.lib because I want only simple gates in ...
0
votes
2
answers
279
views
How to provide mapping information of xilinx primitives during yosys synthesis
I am new to Yosys and I am trying to synthesize a design using xilinx primitives.
I want to know if we can synthesize a design using xilinx primitives. If yes,
then how do we provide the mapping ...
0
votes
1
answer
405
views
Yosys synthesys - is this opimum?
I'm using yosys to synthesize simple circuits and show how the result varies with the cell library.
However, it looks like the result is not well optimized.
I'm using the library vsclib013.lib ...
1
vote
0
answers
46
views
Selecting the MFFC of a node
I need to determine the maximum fanout-free cone (MFFC) of nodes/cells in a circuit. As far as I am aware, there is no direct command in Yosys to do that. I thought it might be possible with the ...
0
votes
0
answers
60
views
How to get numbered internal wire name dump_module Yosys
I'm trying to debug how the printing in write_verilog works.
What is most curious to me that I'm unable to replicate the wire name for Yosys created intermediate wires.
If I take for example
void ...
0
votes
0
answers
95
views
Parse Error on Vivado while simulation an EDIF file
I have generated an EDIF file using Yosys, and I'd like to do post-synthesis simulation on Vivado. However, I get the following parse error. Do you have any idea, what would cause this error?
I'm ...
0
votes
1
answer
301
views
Only XOR gate synthesizing Yosys
I want to synthesize a circuit with Yosys, but I want the synthesized circuit to consist only of XOR gates. how should I do?
1
vote
1
answer
134
views
YOSYS simulating a combinatorial circuit with a specific input
I have a very simple combinatorial circuit written in .blif, such as:
.model circuit
.inputs a b
.outputs c
.names a b c
11 1
.end
Now I'd like to simulate it with yosys, and I'd like to specify ...
0
votes
1
answer
119
views
How can I Invoke interactive shell with initial input as SCons Phony target?
While implementing custom SCons toolchain, I've encounter situation when I need to invoke shell as Phony target with initial input already provided, so I can continue to provide input to already ...
1
vote
1
answer
345
views
how to estimation a chip size with standard cell library
I have recently started using yosys, synthesized a DSP block with cmos_cells.lib and got following results:
ABC RESULTS: NAND cells: 2579
ABC RESULTS: NOR cells: ...
0
votes
1
answer
57
views
Executing additional command in Backend that takes the to be generated file
I'm currently looking for a way to execute iverilog in in Yosys, to be more exact at the write_verilog step.
I need to feed iverilog the file, which will be generated by write_verilog (reason is, I ...
0
votes
1
answer
295
views
Is there an option to synthsise some code into verilog built-in primitives?
I thought that techmap without any argument will do it but it didn't.
probably I missunderstand what 'logical synthsis' means.
basic example:
AND_GATE.v:
module AND_GATE( input A, input B, output X);
...
0
votes
2
answers
411
views
ghdl-yosys-plugin compilation failed
I am about to test GHDL and Yosys as a replacement of EDA proprietary design flows, for my students. My point is about VHDL synthesis.
I have a fresh install of several tools : trellis (ECP5), yosys, ...
0
votes
1
answer
340
views
Strange behaviour of yosys on FSM while building for iCE40
I have been toying with SpinalHDL and its SoCs and modules, but came to a general problem - almost none of the code that uses FSMs works. I nailed this issue down to Yosys, which does something weird ...
0
votes
0
answers
368
views
ABC synthesis - read_liberty
I'm using abc01008.exe to synthesize combinational functions.
I have been using mcnc.genlib and stdcell.lib with no problems.
I would like to use a different std_cell libray that is in the liberty ...
0
votes
1
answer
71
views
Path options for techmap calls in a pass
I'm extending Yosys with a pass I made myself. In this pass, I call the techmap pass multiple times, with a path to the map to apply.
However, depending on the directory I'm in while calling my pass, ...
1
vote
1
answer
360
views
System Verilog Loops
Im currently working on the Shift-Add Algorithm (32x32 bit Multiplication) in System Verilog. System Verilog cant find any error and my code is working correctly according to GTKwave. When I ...
0
votes
1
answer
149
views
Using macros for defining bus fields
I am trying to use macros to define different bus bitfields in the following way:
// bitfields NC / YC / XC
// 0:2 / 3:(WIDTH+2) / (WIDTH+2+1): WIDTH+(WIDTH+2)
// first
`ifdef ...
0
votes
1
answer
187
views
Adding cell to write_verilog causes error
first of all, I'd like to say I'm not well versed in c++ or verilog at all, so I have a few problems implementing things in Yosys.
I'm currently looking for a way to implement a naive information flow ...
0
votes
1
answer
660
views
How to pass Induction in SymbiYosys?
I am very new to formal verification and I started my formal verification with SymbiYosys.
I had written some code in System Verilog for learning formal verification, I was able to pass BMC and cover ...
0
votes
1
answer
159
views
In Yosys I am getting a Warning saying Literal has a width of 8 bit, can anyone elaborate on it [closed]
In Yosys I am getting a Warning saying Literal has a width of 8 bit, can anyone elaborate on it since i am new to yosys and I could not find any resource to understand the reason for the warning.
...
0
votes
1
answer
350
views
Error: Cannot find buffer gate in the library
While attempting to synthesize with Yosys, I am unable to map the logic circuit using only AND, XOR, NOT, and MUX's. This is because I get an error whenever my liberty file excludes BUFX2:
Error:
ABC: ...
-2
votes
1
answer
1k
views
Synthesis on yosys
I have a top file in Verilog and it uses multiple modules instantiated in it that are in different files. If I put all these files in one directory and then I use read Verilog command only on the top ...
0
votes
1
answer
174
views
Is it possible to use $display to print some values when proving with yosys-smtbmc?
In verilog $display() function is usefull in simulation to see the value of constants or macro like this example :
/* Display parameters in simulation */
initial
begin
$display("CLK_PER_NS ...
1
vote
1
answer
244
views
Addition/Substraction Optimization in Yosys
I have the following very simple verilog module, which depending on the input op either performs a+b or a-b.
module addsub (a, b, op, r);
parameter DATA_WIDTH = 4;
input [DATA_WIDTH-1:0] a, b;
...
-2
votes
1
answer
238
views
Why I can not copy a content of register to another one in "always" block in Verilog?
well, I have this code, that is working perfectly:
module syncRX(clk, signal, detect);
input clk, signal;
output reg [7:0] detect = 0;
reg [7:0] delay = 0;
//wire clk_1khz;
...