191
questions
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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,
...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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/...
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'...
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 ...
-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 ...
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 ...
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 ...
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-...
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,...
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 ...
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.....
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....
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&...
-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: ...
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 ...
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<...
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 -...
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 ...
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 "...
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 ...
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
└─┬─┘
└─>...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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?
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 ...
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 ...
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: ...
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 ...
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);
...
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, ...
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 ...