Skip to main content
Filter by
Sorted by
Tagged with
0 votes
0 answers
80 views

How to Prevent Yosys from Trivially Optimizing CNF Generation for a Prime and Composite Tautology?

I originally posted the same question on the Japanese version of Stack Overflow, but since it has been 20 days without any answers or comments, I’m posting it here as well. I’m trying to create a CNF ...
Jogenara's user avatar
  • 109
0 votes
1 answer
46 views

ice40hx8k pll in VHDL

I am using an iceFUN FPGA board and have a working design that blinks an LED at 1 Hz. It is using the external 12 Mhz clock connected on GBIN5. I want to instantiate a pll to increase the internal ...
Maximilian's user avatar
0 votes
0 answers
153 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 ...
Justin808's user avatar
  • 21.4k
0 votes
0 answers
74 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 ...
user24661432's user avatar
0 votes
1 answer
238 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 ...
pixiethepixel's user avatar
0 votes
1 answer
220 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 ...
Christopher P's user avatar
1 vote
1 answer
323 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, ...
Filip's user avatar
  • 93
1 vote
1 answer
153 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 ...
Echo_Zero's user avatar
0 votes
0 answers
65 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 ...
AlfaRossati's user avatar
2 votes
1 answer
119 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 ...
FabienM's user avatar
  • 3,719
0 votes
1 answer
765 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 ...
em-rg-ncy's user avatar
0 votes
0 answers
92 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 ...
viên phùng's user avatar
0 votes
1 answer
378 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 ...
bagelfire's user avatar
0 votes
1 answer
200 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
279 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
  • 21.4k
0 votes
1 answer
262 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
383 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
157 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
  • 249
2 votes
1 answer
1k 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
425 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
4 votes
1 answer
1k 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,911
0 votes
1 answer
93 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
  • 969
0 votes
1 answer
132 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
260 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
1 vote
1 answer
391 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
482 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
0 votes
1 answer
361 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
147 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
285 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
  • 53
2 votes
2 answers
414 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
617 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
  • 65
1 vote
1 answer
849 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
791 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,343
0 votes
1 answer
4k 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,343
1 vote
2 answers
1k 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,343
0 votes
1 answer
226 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,343
0 votes
1 answer
800 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
450 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
621 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
91 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
87 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
123 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
411 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
177 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
207 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
524 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
122 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
377 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
1 vote
2 answers
823 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,505
0 votes
1 answer
415 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