Miodrag Milanovic
c5e4eec3ba
Next dev cycle
2023-06-06 09:41:26 +02:00
Miodrag Milanovic
f7a8284c7b
Release version 0.30
2023-06-06 09:38:46 +02:00
Miodrag Milanovic
f790e00478
Next dev cycle
2023-05-09 08:00:06 +02:00
Miodrag Milanovic
9c5a60eb20
Release version 0.29
2023-05-09 07:57:55 +02:00
Miodrag Milanovic
d0855576ae
Next dev cycle
2023-04-14 09:54:46 +02:00
Miodrag Milanovic
0d6f4b0683
Release version 0.28
2023-04-14 09:52:15 +02:00
Miodrag Milanovic
368f2984cd
Next dev cycle
2023-03-06 08:50:14 +01:00
Miodrag Milanovic
5f88c218b5
Release version 0.27
2023-03-06 08:47:51 +01:00
Miodrag Milanovic
a7099b0a72
Next dev cycle
2023-02-08 12:34:19 +01:00
Miodrag Milanovic
7e588664e7
Release version 0.26
2023-02-08 12:32:43 +01:00
Miodrag Milanovic
5f33c0e0b2
Updated changelog
2023-02-08 10:11:47 +01:00
Miodrag Milanovic
4fc5207b1e
Add deprecation info to changelog
2023-01-11 11:23:23 +01:00
Miodrag Milanovic
c34d308bbd
Next dev cycle
2023-01-03 09:36:13 +01:00
Miodrag Milanovic
e02b7f64bc
Release version 0.25
2023-01-03 09:34:45 +01:00
Miodrag Milanovic
f1da4b0204
Next dev cycle
2022-12-05 17:21:20 +01:00
Miodrag Milanovic
313b7997b5
Release version 0.24
2022-12-05 17:11:03 +01:00
Jannis Harder
239ecf9185
Merge branch 'zachjs-master'
2022-11-21 17:47:43 +01:00
Miodrag Milanovic
cb7299c3dc
Next dev cycle
2022-11-08 07:57:48 +01:00
Miodrag Milanovic
7ce5011c24
Release version 0.23
2022-11-08 07:55:31 +01:00
Miodrag Milanovic
cff42f0af5
Update CHANGELOG
2022-11-07 13:16:38 +01:00
Miodrag Milanovic
9470ef9efe
Update CHANGELOG
2022-11-07 12:13:19 +01:00
Zachary Snow
71e7e09092
verilog: Support module-scoped task/function calls
...
This is primarily intended to enable the standard-permitted use of
module-scoped identifiers to refer to tasks and non-constant functions.
As a side-effect, this also adds support for the non-standard use of
module-scoped identifiers referring to constant functions, a feature
that is supported in some other tools, including Iverilog.
2022-10-29 15:14:11 -04:00
Jannis Harder
ac906d15ce
Add YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging.
2022-10-07 15:02:33 +02:00
Miodrag Milanovic
a5172df9e9
Next dev cycle
2022-10-05 11:32:11 +02:00
Miodrag Milanovic
f109fa3d4c
Release version 0.22
2022-10-05 11:30:38 +02:00
Miodrag Milanovic
7db26a8e59
Update CHANGELOG
2022-10-05 11:28:48 +02:00
Miodrag Milanovic
07d9924a1b
Next dev cycle
2022-09-06 08:26:44 +02:00
Miodrag Milanovic
e6d2a900a9
Release version 0.21
2022-09-06 08:23:30 +02:00
Miodrag Milanovic
0ff129c10b
Update Changelog
2022-09-06 08:22:23 +02:00
Jannis Harder
f7023d06a2
sim: -hdlname option to preserve flattened hierarchy in sim output
2022-08-16 13:37:30 +02:00
Jannis Harder
65145db7e7
rename: Add -witness mode
2022-08-16 13:37:30 +02:00
Jannis Harder
efd5b86eb9
aiger: Add yosys-witness support
...
Adds a new json based aiger map file and yosys-witness converters to us
this to convert between native and AIGER witness files.
2022-08-16 13:37:30 +02:00
Jannis Harder
f041e36c6e
smtbmc: Add native json based witness format + smt2 backend support
...
This adds a native json based witness trace format. By having a common
format that includes everything we support, and providing a conversion
utility (yosys-witness) we no longer need to implement every format for
every tool that deals with witness traces, avoiding a quadratic
opportunity to introduce subtle bugs.
Included:
* smt2: New yosys-smt2-witness info lines containing full hierarchical
paths without lossy escaping.
* yosys-smtbmc --dump-yw trace.yw: Dump results in the new format.
* yosys-smtbmc --yw trace.yw: Read new format as constraints.
* yosys-witness: New tool to convert witness formats.
Currently this can only display traces in a human-readable-only
format and do a passthrough read/write of the new format.
* ywio.py: Small python lib for reading and writing the new format.
Used by yosys-smtbmc and yosys-witness to avoid duplication.
2022-08-16 13:37:30 +02:00
Jannis Harder
a2f9ebe43a
memory_map: Add -formal option
...
This maps memories for a global clock based formal verification flow.
This implies -keepdc, uses $ff cells for ROMs and sets hdlname
attributes.
2022-08-16 13:37:30 +02:00
Jannis Harder
c0063288d6
Add the $anyinit cell and the formalff pass
...
These can be used to protect undefined flip-flop initialization values
from optimizations that are not sound for formal verification and can
help mapping all solver-provided values in witness traces for flows that
use different backends simultaneously.
2022-08-16 13:37:30 +02:00
Miodrag Milanovic
733902c81e
Next dev cycle
2022-08-03 13:57:14 +02:00
Miodrag Milanovic
4fcb95ed08
Release version 0.20
2022-08-03 13:53:41 +02:00
Miodrag Milanovic
a07b06d5e7
Update Changelog
2022-08-03 13:52:01 +02:00
Miodrag Milanovic
6a1d98b816
Update manual and changelog
2022-08-03 10:30:58 +02:00
Miodrag Milanovic
da0682b99a
Next dev cycle
2022-07-04 14:08:53 +02:00
Miodrag Milanovic
a45c131b37
Release version 0.19
2022-07-04 14:07:01 +02:00
Jannis Harder
5343911263
Mention smtlib2_module in README.md and CHANGELOG
2022-07-04 13:54:49 +02:00
Miodrag Milanovic
59b96bb1f8
Upadte documentation and changelog
2022-07-04 11:09:06 +02:00
Miodrag Milanovic
4b423dcfb4
Next dev cycle
2022-06-10 15:05:09 +02:00
Miodrag Milanovic
19ce3b45d6
Release version 0.18
2022-06-10 15:01:40 +02:00
Miodrag Milanovic
1940bf647f
Updated CHANGELOG
2022-06-10 09:08:23 +02:00
Miodrag Milanovic
6e8e4b4550
verific: Added "-vlog-libext" option to specify search extension for libraries
2022-06-09 08:57:48 +02:00
Miodrag Milanovic
a0172e68c5
More updates on CHANGELOG
2022-06-08 11:41:13 +02:00
Miodrag Milanovic
096f3d2aa4
Update changelog and manual
2022-06-08 11:28:06 +02:00
Zachary Snow
a650d9079f
verilog: fix width/sign detection for functions
2022-05-30 16:45:39 -04:00
