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.
154
questions
1
vote
1answer
14 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
1answer
23 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
1answer
42 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
1answer
34 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
0answers
101 views
Is the delay output from the synthesis tool the critical path delay or the delay from one input to one output?
I have used the yosys as a synthesis tool to synthesize a 24 bit adder and here is a screenshot of the output of the the synthesis tool, I want to understand what is the meaning of each parameter ...
0
votes
1answer
41 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
1answer
40 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
1answer
77 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
0answers
20 views
ABC synthesis - combinational mapping to stdcell
I'm using abc01008.exe to synthesize combinational functions.
I'm using mcnc.genlib.
My functions are combinational with 6 input bits and 3 output bits.
I map using a script that runs:
map; choice; ...
0
votes
0answers
19 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
1answer
24 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
1answer
74 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
1answer
51 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
1answer
43 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
1answer
112 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
1answer
56 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
1answer
96 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
1answer
68 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
1answer
44 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
1answer
52 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
1answer
72 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;
...
0
votes
0answers
37 views
understanding the arachne-pnr .asc file writing
I want to change asc file while calling Configuration::write_txt() in arachne-pnr/src/configuration.cc. I can't understand how two different '0' are differentiated while writing? What is meant by i-&...
1
vote
0answers
53 views
How to preserve wires during Yosys ABC implementation step
I am implementing a simple circuit and want to preserve some wires during implementation using Yosys ABC. I am synthesizing using synth_ice40. I am using (* keep *) in my Verilog code to preserve the ...
1
vote
0answers
20 views
Yosys Error for long names (wires/instances)
I'm trying to run a large design with Yosys but I get the following error
terminate called after throwing an instance of 'ord::Exception'
what(): Net logical_tile_clb_mode_clb__0....
0
votes
0answers
63 views
Is there any alternative to (* keep *) in Verilog using ABC implementation?
I am using yosys to synthesize using the synth_ice40 command which calls ABC as well. In my Verilog code, I have used (* keep *) wire wire_1; Yosys does not optimize this but when it comes to ABC, it ...
1
vote
1answer
65 views
how do I import sv packages using YOSYS
I was wondering how to import sv packages while using YOSYS. For instance
In the file my_pkg.sv I have the following
package my_pkg;
parameter KL=64;
endpackage
Now in the file top.sv I have ...
0
votes
1answer
50 views
Understanding Organization of the CRAM bits in bitstream .bin file
For an iCE40 1k device, Following is the snippet from the output of the command "iceunpack -vv example.bin"
I could not understand why there are 332x144 bits?
My understanding is that [1], ...
0
votes
0answers
32 views
How does yosys check an aiger file
I have an aiger file, which contains netlist model + property.
IC3 (a harware model checker) can check it.
I want to ask how YOSYS model check it with what commands?
I read the manual, but do not see ...
0
votes
1answer
96 views
reading multiple block ram indexes in one write clock cycle
I have an application where I'm continuously writing to a block ram at a slow clock speed (clk_a) and within this slow clock cycle need to read three indexes from the block ram at a fast clock speed (...
0
votes
1answer
143 views
ice40 clock delay, output timing analysis
I have an ice40 that drives the clock and data inputs of an ASIC.
The ice40 drives the ASIC's clock with the same clock that drives the ice40's internal logic. The problem is that the rising clock ...
0
votes
1answer
40 views
What are PIP alternative in arachne-pnr?
While going through the router.cc the file of arcahne-pnr, I am unable to understand, how are the programmable interconnect pins PIPs routed? Does it seem PLL is representing the PIPs in the code? ...
1
vote
1answer
45 views
Understanding logic tile LC_5 bits
i m new to yosys and arachne-pnr. Here is the snippet from .asc and .icebox_explain. I could not understand how the bits of LC_5 are derived from .logic_tile 1 11.
example.v
module top (input a, b, ...
0
votes
1answer
85 views
Yosys ASIC synth flow QoR/PPA metrics
I'm relatively new to Yosys. I've been tinkering with it with some proprietary standard cell libraries and am trying to extract some QoR/PPA metrics, similar to those you can get from DC.
Minimum ...
-1
votes
2answers
214 views
Trouble getting YOSYS to infer block ram array (rather than using logic cells) verilog ice40
I've been having trouble the last little while with a project that uses look up table arrays quite a bit and getting yosys to infer them as block ram. Yosys keeps thinking one or the other of my ...
1
vote
1answer
120 views
Error “does map to unexpanded memory” in yosys verilog when using indexed part select
I'm having trouble understanding this error I'm getting in Yosys.
I copied the relevant (I think) code below.
reg signed [15:0] wb1 [0:131071];
reg signed [27:0] currentAttrWB [0:4094];
always @(...
0
votes
1answer
100 views
How to unpack LUTs into logic cells in verilog
I have a structural verilog containing LUTS all over him.
I want this verilog to be unpacked so that I'll have the same functional but instead LUTS - I'll have logic cell (Like Or/And/Xor etc...).
...
0
votes
0answers
53 views
Importing from Yosys, combinatorial logic directed graph into boost graph library
I want to import a large combinatorial logic circuit created in Yosys into a directed graph in my own c++ routines with boost graph library, so I can experiment with my own algorithms. The logic has ...
-1
votes
1answer
83 views
FSMs extraction with yosys
I have been trying to use yosys in order to extract FSMs from my structural verilog file (gate library is simprims of Xilinx) with no success. I figured I might need to inform yosys which gate library ...
-2
votes
1answer
745 views
Understanding the SB_IO primitive in Lattice ICE40
I am playing with cliffordwolf/picorv32 and am having some problem understanding the following snippet in picosoc (link to source):
SB_IO #(
.PIN_TYPE(6'b 1010_01),
.PULLUP(1'b 0)
) ...
0
votes
1answer
119 views
Drawing schematic out of yosys using Latex with CircuitTikZ and convert it into a PDF?
Drawing circuit diagrams using logic gates symbols like a traditional logic gate-level netlist.
I saw the following:
Drawing circuit diagrams (with logic gates) in LaTeX
https://tex.stackexchange....
1
vote
1answer
288 views
How to create a custom technology cell map for Yosys
I have the following simple Verilog design (in test.v):
module digital (
input a, b, c,
output reg q
);
wire ena = a & b;
always @ (ena, c) begin
if (ena)
q <= c;
end
...
1
vote
0answers
72 views
Why this simple code causes extra slow PROC_DLATCH pass
I use (excellent) Yosys to synthetize (read_verilog & proc) the code below (gray incrementer logic for async fifo) to make some formal checks and found that it is incredibly slow.
For W=2 it ...
1
vote
0answers
141 views
Yosys / abc uses many gates instead of better monolithic cell
For a simple design and custom cell library, I am getting synthesis results in which Yosys / abc chooses a result that is obviously (for the human reader) worse, and which ignores an obvious ...
1
vote
1answer
461 views
Verilog and SystemVerilog supported
In the Yosys manual I read
C.108 read
-sv2005 -sv2009 -sv2012
load HDL designs Load the specified Verilog/SystemVerilog files. (Full SystemVerilog support is only available via Verific.)
C.113 ...
4
votes
0answers
165 views
How to inject Verilog code in Chisel generated Module?
To test my Chisel designs I'm using Icarus with cocotb. But Icarus doesn't generate VCD traces if it's not asked explicitly in verilog module code like this :
`ifdef COCOTB_SIM
initial begin
$...
1
vote
1answer
382 views
How to write the verilog to force yosys / nextpnr to output a manually designed logic tiles
I want to create a very compact parallel to serial shift register.
I have manually designed a logic tile.
I want yosys/nextpnr to just do the routing between this tile and the io pins.
I have ...
0
votes
0answers
87 views
yosys synthesis- syntax error in for loop
I am trying to synthesize a verilog code that I have used a lot of for loops. However, I am getting syntax error due to using for loop. Take the following code as an example:
integer j;
always@(*)...
0
votes
1answer
79 views
Yosys and Synplify compatible elements
I would like to write verilog that can be synthesized either using yosys (preferable) or the Lattice Radiant tool chain using Synplify (needed for encrypted IP from Lattice for example).
Most of the ...
0
votes
2answers
351 views
Multiple conflicting drivers for reg assigned in only one always block
I'm working on a simple video signal timing module in Verilog, as a learning project. I've understood from earlier study that each reg should be assigned from only one always block, so I arranged my ...
0
votes
2answers
86 views
Sub-module not found after changing parameter through chparam in a foreach loop
I am trying to synthesize a module for different values of a parameter. I am changing the parameter with a foreach loop in tcl and passing the updated parameter to the top module using -chparam tag in ...