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
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 ...