yosys.git
2 years agoMerge pull request #3197 from YosysHQ/claire/smtbmcfix
Claire Xen [Tue, 22 Feb 2022 14:26:22 +0000 (15:26 +0100)]
Merge pull request #3197 from YosysHQ/claire/smtbmcfix

Add a bit of flexibilty re AIG witness trace length to smtbmc.py

2 years agoBump version
github-actions[bot] [Tue, 22 Feb 2022 00:59:35 +0000 (00:59 +0000)]
Bump version

2 years agoMerge pull request #3203 from YosysHQ/micko/sim_ff
Miodrag Milanović [Mon, 21 Feb 2022 16:57:44 +0000 (17:57 +0100)]
Merge pull request #3203 from YosysHQ/micko/sim_ff

Simulation for various FF types

2 years agoecp5: Do not use specify in generate in cells_sim.v.
Marcelina Kościelnicka [Mon, 21 Feb 2022 15:30:42 +0000 (16:30 +0100)]
ecp5: Do not use specify in generate in cells_sim.v.

2 years agoFix handling of ce_over_srst
Miodrag Milanovic [Mon, 21 Feb 2022 15:36:12 +0000 (16:36 +0100)]
Fix handling of ce_over_srst

2 years agosimplify logic of handling flip-flops and latches
Miodrag Milanovic [Fri, 18 Feb 2022 08:17:36 +0000 (09:17 +0100)]
simplify logic of handling flip-flops and latches

2 years agoReview cleanup
Miodrag Milanovic [Thu, 17 Feb 2022 16:18:36 +0000 (17:18 +0100)]
Review cleanup

2 years agotest dlatchsr and adlatch
Miodrag Milanovic [Wed, 16 Feb 2022 12:58:51 +0000 (13:58 +0100)]
test dlatchsr and adlatch

2 years agoAdded test cases
Miodrag Milanovic [Tue, 15 Feb 2022 08:35:53 +0000 (09:35 +0100)]
Added test cases

2 years agoAdd support for various ff/latch cells simulation
Miodrag Milanovic [Tue, 15 Feb 2022 08:30:42 +0000 (09:30 +0100)]
Add support for various ff/latch cells simulation

2 years agoBump version
github-actions[bot] [Wed, 16 Feb 2022 01:01:23 +0000 (01:01 +0000)]
Bump version

2 years agoMerge pull request #3204 from YosysHQ/claire/update-abc
Miodrag Milanović [Tue, 15 Feb 2022 19:51:54 +0000 (20:51 +0100)]
Merge pull request #3204 from YosysHQ/claire/update-abc

Bump ABC version

2 years agoBump ABC version
Miodrag Milanovic [Tue, 15 Feb 2022 17:44:05 +0000 (18:44 +0100)]
Bump ABC version

2 years agoBump version
github-actions[bot] [Tue, 15 Feb 2022 01:05:31 +0000 (01:05 +0000)]
Bump version

2 years agoverilog: support for time scale delay values
Zachary Snow [Fri, 11 Feb 2022 21:57:31 +0000 (22:57 +0100)]
verilog: support for time scale delay values

2 years agoFix access to whole sub-structs (#3086)
Kamil Rakoczy [Mon, 14 Feb 2022 13:34:20 +0000 (14:34 +0100)]
Fix access to whole sub-structs (#3086)

* Add support for accessing whole struct
* Update tests

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
2 years agoBump version
github-actions[bot] [Sun, 13 Feb 2022 01:02:04 +0000 (01:02 +0000)]
Bump version

2 years agogowin: Add remaining block RAM blackboxes.
Marcelina Kościelnicka [Sat, 12 Feb 2022 10:35:10 +0000 (11:35 +0100)]
gowin: Add remaining block RAM blackboxes.

2 years agoBump version
github-actions[bot] [Sat, 12 Feb 2022 01:01:05 +0000 (01:01 +0000)]
Bump version

2 years agoverilog: fix dynamic dynamic range asgn elab
Zachary Snow [Tue, 18 Jan 2022 06:18:12 +0000 (23:18 -0700)]
verilog: fix dynamic dynamic range asgn elab

2 years agoverilog: fix const func eval with upto variables
Zachary Snow [Wed, 12 Jan 2022 06:51:08 +0000 (23:51 -0700)]
verilog: fix const func eval with upto variables

2 years agoMerge pull request #2376 from nmoroze/clk2ff-better-names
Claire Xen [Fri, 11 Feb 2022 16:30:32 +0000 (17:30 +0100)]
Merge pull request #2376 from nmoroze/clk2ff-better-names

clk2fflogic: nice names for autogenerated signals

2 years agoAdd a bit of flexibilty re trace length when processing aiger witnesses in smtbmc.py
Claire Xenia Wolf [Fri, 11 Feb 2022 16:24:49 +0000 (17:24 +0100)]
Add a bit of flexibilty re trace length when processing aiger witnesses in smtbmc.py

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2 years agoMerge pull request #3164 from zachjs/fix-ast-warn
Miodrag Milanović [Fri, 11 Feb 2022 15:43:35 +0000 (16:43 +0100)]
Merge pull request #3164 from zachjs/fix-ast-warn

fix dumpAst() compilation warning

2 years agoMerge branch 'master' into clk2ff-better-names
Claire Xen [Fri, 11 Feb 2022 15:03:12 +0000 (16:03 +0100)]
Merge branch 'master' into clk2ff-better-names

2 years agoMerge pull request #2019 from boqwxp/glift
Claire Xen [Fri, 11 Feb 2022 14:51:24 +0000 (15:51 +0100)]
Merge pull request #2019 from boqwxp/glift

Add `glift` command for creating gate-level information flow tracking models and optimization problems

2 years agoBump version
github-actions[bot] [Thu, 10 Feb 2022 00:58:51 +0000 (00:58 +0000)]
Bump version

2 years agoMerge pull request #3193 from YosysHQ/micko/verific_f
Miodrag Milanović [Wed, 9 Feb 2022 11:41:26 +0000 (12:41 +0100)]
Merge pull request #3193 from YosysHQ/micko/verific_f

Add ability to override verilog mode for verific -f  command

2 years agoAdd ability to override verilog mode for verific -f command
Miodrag Milanovic [Wed, 9 Feb 2022 08:19:25 +0000 (09:19 +0100)]
Add ability to override verilog mode for verific -f  command

2 years agogowin: Fix LUT RAM inference, add more models.
Marcelina Kościelnicka [Wed, 9 Feb 2022 05:13:34 +0000 (06:13 +0100)]
gowin: Fix LUT RAM inference, add more models.

2 years agoecp5: Fix DPR16X4 sim model.
Marcelina Kościelnicka [Wed, 9 Feb 2022 04:35:05 +0000 (05:35 +0100)]
ecp5: Fix DPR16X4 sim model.

2 years agoBump version
github-actions[bot] [Tue, 8 Feb 2022 00:59:03 +0000 (00:59 +0000)]
Bump version

2 years agoNext dev cycle
Miodrag Milanovic [Mon, 7 Feb 2022 16:10:50 +0000 (17:10 +0100)]
Next dev cycle

2 years agoRelease version 0.14 yosys-0.14
Miodrag Milanovic [Mon, 7 Feb 2022 16:08:39 +0000 (17:08 +0100)]
Release version 0.14

2 years agoUpdate CHANGELOG and manual
Miodrag Milanovic [Mon, 7 Feb 2022 16:07:48 +0000 (17:07 +0100)]
Update CHANGELOG and manual

2 years agoMerge pull request #3185 from YosysHQ/micko/co_sim
Miodrag Milanović [Mon, 7 Feb 2022 15:36:43 +0000 (16:36 +0100)]
Merge pull request #3185 from YosysHQ/micko/co_sim

Add co-simulation in sim pass

2 years agoBump version
github-actions[bot] [Mon, 7 Feb 2022 00:56:31 +0000 (00:56 +0000)]
Bump version

2 years agonexus: Fix arith_map CO signal.
Marcelina Kościelnicka [Sun, 6 Feb 2022 11:48:44 +0000 (12:48 +0100)]
nexus: Fix arith_map CO signal.

Fixes #3187.

2 years agoError detection for co-simulation
Miodrag Milanovic [Fri, 4 Feb 2022 10:11:36 +0000 (11:11 +0100)]
Error detection for co-simulation

2 years agobug fix and cleanups
Miodrag Milanovic [Fri, 4 Feb 2022 09:01:06 +0000 (10:01 +0100)]
bug fix and cleanups

2 years agoBump version
github-actions[bot] [Thu, 3 Feb 2022 00:54:22 +0000 (00:54 +0000)]
Bump version

2 years agoMerge pull request #3183 from YosysHQ/micko/nto1mux
Miodrag Milanović [Wed, 2 Feb 2022 15:22:53 +0000 (16:22 +0100)]
Merge pull request #3183 from YosysHQ/micko/nto1mux

Use bmux for NTO1MUX

2 years agoUse bmux for NTO1MUX
Miodrag Milanovic [Wed, 2 Feb 2022 15:16:08 +0000 (16:16 +0100)]
Use bmux for NTO1MUX

2 years agoAdd test cases for co-simulation
Miodrag Milanovic [Wed, 2 Feb 2022 12:22:44 +0000 (13:22 +0100)]
Add test cases for co-simulation

2 years agoMerge pull request #3182 from yrabbit/wip-doc2
Miodrag Milanović [Wed, 2 Feb 2022 11:19:17 +0000 (12:19 +0100)]
Merge pull request #3182 from yrabbit/wip-doc2

Correct a typo in the manual

2 years agoCorrect a typo in the manual
YRabbit [Wed, 2 Feb 2022 11:14:38 +0000 (21:14 +1000)]
Correct a typo in the manual

Signed-off-by: YRabbit <rabbit@yrabbit.cyou>
2 years agoFix Visual Studio build
Miodrag Milanovic [Wed, 2 Feb 2022 10:46:06 +0000 (11:46 +0100)]
Fix Visual Studio build

2 years agorespect hide_internal flag
Miodrag Milanovic [Wed, 2 Feb 2022 09:15:22 +0000 (10:15 +0100)]
respect hide_internal flag

2 years agounify cycles counting and cleanup
Miodrag Milanovic [Wed, 2 Feb 2022 09:08:23 +0000 (10:08 +0100)]
unify cycles counting and cleanup

2 years agoadded stimulus mode and param check
Miodrag Milanovic [Wed, 2 Feb 2022 08:37:32 +0000 (09:37 +0100)]
added stimulus mode and param check

2 years agoUpdate comment
Scott Thibault [Wed, 2 Feb 2022 01:30:31 +0000 (20:30 -0500)]
Update comment

2 years agoFix unextend method for signed constants
Scott Thibault [Tue, 1 Feb 2022 22:55:09 +0000 (17:55 -0500)]
Fix unextend method for signed constants

2 years agoerror when no signal found
Miodrag Milanovic [Mon, 31 Jan 2022 16:41:50 +0000 (17:41 +0100)]
error when no signal found

2 years agoMerge pull request #3176 from higuoxing/fix-ref-manual
Miodrag Milanović [Mon, 31 Jan 2022 15:11:00 +0000 (16:11 +0100)]
Merge pull request #3176 from higuoxing/fix-ref-manual

Fix the help message of synth_quicklogic command.

2 years agoCleanup
Miodrag Milanovic [Mon, 31 Jan 2022 12:45:28 +0000 (13:45 +0100)]
Cleanup

2 years agoCompare bits when not all are defined
Miodrag Milanovic [Mon, 31 Jan 2022 12:41:02 +0000 (13:41 +0100)]
Compare bits when not all are defined

2 years agoCleanup
Miodrag Milanovic [Mon, 31 Jan 2022 11:00:15 +0000 (12:00 +0100)]
Cleanup

2 years agomessage update
Miodrag Milanovic [Mon, 31 Jan 2022 10:41:52 +0000 (11:41 +0100)]
message update

2 years agoDisplay simulation time data
Miodrag Milanovic [Mon, 31 Jan 2022 09:52:47 +0000 (10:52 +0100)]
Display simulation time data

2 years agoUse edges when explicit
Miodrag Milanovic [Mon, 31 Jan 2022 08:38:25 +0000 (09:38 +0100)]
Use edges when explicit

2 years agoUpdating initial state and checks
Miodrag Milanovic [Mon, 31 Jan 2022 08:19:34 +0000 (09:19 +0100)]
Updating initial state and checks

2 years agoFix scope
Miodrag Milanovic [Mon, 31 Jan 2022 07:56:29 +0000 (08:56 +0100)]
Fix scope

2 years agoBump version
github-actions[bot] [Mon, 31 Jan 2022 00:54:31 +0000 (00:54 +0000)]
Bump version

2 years agoverilog backend: Emit a `wire` for ports as well.
Marcelina Kościelnicka [Sun, 30 Jan 2022 19:48:50 +0000 (20:48 +0100)]
verilog backend: Emit a `wire` for ports as well.

Fixes #3177.

2 years agoFix the help message of synth_quicklogic.
Xing GUO [Sun, 30 Jan 2022 14:10:05 +0000 (22:10 +0800)]
Fix the help message of synth_quicklogic.

2 years agoopt_reduce: Add $bmux and $demux optimization patterns.
Marcelina Kościelnicka [Sat, 29 Jan 2022 00:01:21 +0000 (01:01 +0100)]
opt_reduce: Add $bmux and $demux optimization patterns.

2 years agoBump version
github-actions[bot] [Sat, 29 Jan 2022 02:48:50 +0000 (02:48 +0000)]
Bump version

2 years agoAdd $bmux and $demux cells.
Marcelina Kościelnicka [Mon, 24 Jan 2022 15:02:29 +0000 (16:02 +0100)]
Add $bmux and $demux cells.

2 years agocheck if stop before start
Miodrag Milanovic [Fri, 28 Jan 2022 18:41:43 +0000 (19:41 +0100)]
check if stop before start

2 years agoset initial state, only flip-flops
Miodrag Milanovic [Fri, 28 Jan 2022 14:59:13 +0000 (15:59 +0100)]
set initial state, only flip-flops

2 years agoignore not found private signals
Miodrag Milanovic [Fri, 28 Jan 2022 13:20:16 +0000 (14:20 +0100)]
ignore not found private signals

2 years agopreserve VCD mangled names
Miodrag Milanovic [Fri, 28 Jan 2022 13:10:39 +0000 (14:10 +0100)]
preserve VCD mangled names

2 years agodetect edges even when x
Miodrag Milanovic [Fri, 28 Jan 2022 12:53:27 +0000 (13:53 +0100)]
detect edges even when x

2 years agorecursive check
Miodrag Milanovic [Fri, 28 Jan 2022 12:24:38 +0000 (13:24 +0100)]
recursive check

2 years agocleanup
Miodrag Milanovic [Fri, 28 Jan 2022 11:54:16 +0000 (12:54 +0100)]
cleanup

2 years agoDo actual compare
Miodrag Milanovic [Fri, 28 Jan 2022 11:50:41 +0000 (12:50 +0100)]
Do actual compare

2 years agoFix for limit_range_end when not writing vcd
Miodrag Milanovic [Fri, 28 Jan 2022 11:15:14 +0000 (12:15 +0100)]
Fix for limit_range_end when not writing vcd

2 years agoAdd more options and time handling
Miodrag Milanovic [Fri, 28 Jan 2022 09:18:02 +0000 (10:18 +0100)]
Add more options and time handling

2 years agoopt_dff: Don't mutate muxes while ModWalker is active.
Marcelina Kościelnicka [Thu, 27 Jan 2022 16:06:57 +0000 (17:06 +0100)]
opt_dff: Don't mutate muxes while ModWalker is active.

2 years agokernel/mem: Add read-first semantic emulation code.
Marcelina Kościelnicka [Thu, 27 Jan 2022 22:26:56 +0000 (23:26 +0100)]
kernel/mem: Add read-first semantic emulation code.

2 years agoBump version
github-actions[bot] [Fri, 28 Jan 2022 02:39:40 +0000 (02:39 +0000)]
Bump version

2 years agomanual: Fix a custom pass example.
Marcelina Kościelnicka [Thu, 27 Jan 2022 22:26:43 +0000 (23:26 +0100)]
manual: Fix a custom pass example.

Fixes #3156.

2 years agomemory_bram: Make use of new mem emulation functions to map more RAMs.
Marcelina Kościelnicka [Thu, 27 Jan 2022 17:19:43 +0000 (18:19 +0100)]
memory_bram: Make use of new mem emulation functions to map more RAMs.

2 years agokernel/mem: Add functions to emulate read port enable/init/reset signals.
Marcelina Kościelnicka [Thu, 27 Jan 2022 15:08:33 +0000 (16:08 +0100)]
kernel/mem: Add functions to emulate read port enable/init/reset signals.

2 years agoBump version
github-actions[bot] [Thu, 27 Jan 2022 00:56:19 +0000 (00:56 +0000)]
Bump version

2 years agochange to windows-2019
Miodrag Milanović [Wed, 26 Jan 2022 17:00:41 +0000 (18:00 +0100)]
change to windows-2019

2 years agoupdate version
Miodrag Milanovic [Wed, 26 Jan 2022 16:24:17 +0000 (17:24 +0100)]
update version

2 years agoDisplay values of outputs
Miodrag Milanovic [Wed, 26 Jan 2022 15:52:36 +0000 (16:52 +0100)]
Display values of outputs

2 years agoFix tabs/spaces
Miodrag Milanovic [Wed, 26 Jan 2022 15:39:51 +0000 (16:39 +0100)]
Fix tabs/spaces

2 years agoCheck if stimulated
Miodrag Milanovic [Wed, 26 Jan 2022 14:51:43 +0000 (15:51 +0100)]
Check if stimulated

2 years agoRead fst and use data to set inputs
Miodrag Milanovic [Wed, 26 Jan 2022 14:50:38 +0000 (15:50 +0100)]
Read fst and use data to set inputs

2 years agoAdd fstdata helper class
Miodrag Milanovic [Wed, 26 Jan 2022 09:23:38 +0000 (10:23 +0100)]
Add fstdata helper class

2 years agoCleanup of config to support platforms
Miodrag Milanovic [Wed, 26 Jan 2022 08:58:27 +0000 (09:58 +0100)]
Cleanup of config to support platforms

2 years agoAdd ability to write to FST file
Miodrag Milanovic [Wed, 26 Jan 2022 08:26:19 +0000 (09:26 +0100)]
Add ability to write to FST file

2 years agoAdd FST library
Miodrag Milanovic [Tue, 25 Jan 2022 08:53:41 +0000 (09:53 +0100)]
Add FST library

2 years agoBump version
github-actions[bot] [Thu, 20 Jan 2022 01:06:01 +0000 (01:06 +0000)]
Bump version

2 years agonexus: Fix BB sim model
gatecat [Wed, 19 Jan 2022 16:04:55 +0000 (16:04 +0000)]
nexus: Fix BB sim model

Signed-off-by: gatecat <gatecat@ds0.me>
2 years agoRemoved dbits 8 since 9 will always be picked
Miodrag Milanovic [Wed, 19 Jan 2022 07:51:25 +0000 (08:51 +0100)]
Removed dbits 8 since 9 will always be picked

2 years agoMerge pull request #3120 from Icenowy/anlogic-bram
Miodrag Milanović [Wed, 19 Jan 2022 07:49:58 +0000 (08:49 +0100)]
Merge pull request #3120 from Icenowy/anlogic-bram

anlogic: support BRAM mapping

2 years agofix dumpAst() compilation warning
Zachary Snow [Tue, 18 Jan 2022 07:17:08 +0000 (00:17 -0700)]
fix dumpAst() compilation warning