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
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, ...
gizen's user avatar
  • 21
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 ...
Cornelius Korinthia's user avatar
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 ...
Justin808's user avatar
  • 20.9k
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 ...
alex137's user avatar
  • 178
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/...
Pu Yuan's user avatar
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'...
gudise's user avatar
  • 239
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 ...
Neekon Saadat's user avatar
-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 ...
TomP's user avatar
  • 108
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 ...
Daniel's user avatar
  • 1,861
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 ...
Shore's user avatar
  • 857
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-...
Hammdist's user avatar
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,...
Ghosty Toasty's user avatar
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 ...
Kruti Deepan Panda's user avatar
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.....
Lopfi's user avatar
  • 1
-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....
user18211813's user avatar
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&...
InputBlackBoxOutput's user avatar
-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: ...
Stone's user avatar
  • 33
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 ...
Donghui Li's user avatar
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<...
sammy17's user avatar
  • 35
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 -...
张小禹's user avatar
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 ...
71GA's user avatar
  • 1,112
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 "...
71GA's user avatar
  • 1,112
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 ...
71GA's user avatar
  • 1,112
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 └─┬─┘ └─>...
71GA's user avatar
  • 1,112
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 ...
Rafet Bayram's user avatar
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 ...
N1T1N's user avatar
  • 1
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 ...
etnapoli's user avatar
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 ...
lwitsche's user avatar
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 ...
ChaoJJ's user avatar
  • 3
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 ...
shagha's user avatar
  • 1
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?
demirmehmet0's user avatar
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 ...
Eelah's user avatar
  • 11
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 ...
Valery Kameko's user avatar
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: ...
M.X's user avatar
  • 195
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 ...
ChaoJJ's user avatar
  • 3
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); ...
Idan Zaguri's user avatar
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, ...
JCLL's user avatar
  • 5,389
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 ...
pointcheck's user avatar
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 ...
etnapoli's user avatar
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, ...
kiba42's user avatar
  • 23
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 ...
d4mb's user avatar
  • 33
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 ...
sergicuen's user avatar
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 ...
ChaoJJ's user avatar
  • 3
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 ...
Shashidhar B's user avatar
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. ...
Shashidhar B's user avatar
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: ...
Mahmoud Maarouf's user avatar
-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 ...
Muhammad Amir Altaf's user avatar
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 ...
FabienM's user avatar
  • 3,431
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; ...
hu3's user avatar
  • 13
-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; ...
Carlos J.'s user avatar