Jannis Harder
6589accfa9
tcl: Update help message to mention 'tee -s'
2022-12-05 16:47:22 +01:00
Jannis Harder
a43356cb04
tcl: Unset both result.json and result.string only before calling pass
2022-12-05 16:17:00 +01:00
Jannis Harder
0f7b8b8d23
tcl: Don't exit repl on recoverable command errors
2022-12-02 15:50:41 +01:00
Jannis Harder
5524d5185d
tcl: Return scratchpad result.json and result.string as tcl objects
...
This makes it possible for yosys commands to return values when invoked
as tcl commands. Right now no commands natively support this, but the
tee command can be used with json output like this:
```tcl
set stat [yosys tee -q -s result.json stat -json -top top]
dict get $stat modules \\top num_cells_by_type \$pmux
```
Or with newline separated lists like this:
```tcl
split [yosys tee -q -s result.string select -list top] "\n"
```
2022-12-02 14:36:19 +01:00
Jannis Harder
7036a312bf
stat: Fix JSON output for empty designs
2022-12-02 14:36:19 +01:00
Jannis Harder
ed02d52f30
tee: Allow logging command output to a given scratchpad value
2022-12-02 14:36:19 +01:00
Miodrag Milanović
a64ed824ed
Merge pull request #3567 from YosysHQ/tcl_fix_crash
...
Fix tcl crash in case of error executing command
2022-12-02 08:15:31 +01:00
github-actions[bot]
dcc1cb7ddd
Bump version
2022-12-01 00:20:32 +00:00
Jannis Harder
4a2b7287ca
Merge pull request #3551 from daglem/struct-array-swapped-range
...
Support for arrays with swapped ranges within structs
2022-12-01 00:58:32 +01:00
Dag Lem
64f88eb7f1
Added asserts for current limitation of array dimensions in packed structs
2022-11-30 23:32:41 +01:00
Dag Lem
15c8e74329
Check for all cases of currently unsupported array dimensions in packed structs
2022-11-30 20:04:45 +01:00
Miodrag Milanovic
b0469b3863
Fix tcl crash in case of error executing command
2022-11-30 15:54:31 +01:00
github-actions[bot]
f9db7c0599
Bump version
2022-11-29 00:18:02 +00:00
Jannis Harder
10e22608c0
Merge pull request #3565 from jix/sat-def-formal
...
sat: Add -set-def-formal option to force defined $any* outputs
2022-11-28 16:04:38 +01:00
Jannis Harder
ed0e14820e
sat: Add -set-def-formal option to force defined $any* outputs
2022-11-28 14:50:52 +01:00
github-actions[bot]
23e26ff661
Bump version
2022-11-26 00:16:21 +00:00
Miodrag Milanović
fd01d9eb8b
Merge pull request #3561 from YosysHQ/tcl_shell
...
Add TCL interactive shell mode
2022-11-25 18:12:43 +01:00
Miodrag Milanović
448a796e15
Merge pull request #3560 from YosysHQ/verific_conf
...
Support importing verilog configurations using Verific
2022-11-25 17:40:57 +01:00
Miodrag Milanovic
2450e6be22
Add TCL interactive shell mode
2022-11-25 16:18:02 +01:00
Miodrag Milanovic
f764cd1655
update documentation
2022-11-25 14:27:30 +01:00
Miodrag Milanovic
b0be19c126
Support importing verilog configurations using Verific
2022-11-25 13:02:11 +01:00
github-actions[bot]
c55c514cdb
Bump version
2022-11-25 00:16:25 +00:00
KrystalDelusion
b9b5899cce
Remove docs dependency on yosys repo ( #3558 )
...
* Copies guidelines files into docs/ for website
* Copying manual/CHAPTER_Prog for new docs
* Copying manual/APPNOTE_011... for new docs
Also adding faketime to list of packages for website build.
Co-authored-by: KrystalDelusion <krystinedawn@yosyshq.com>
2022-11-24 15:56:44 +01:00
Dag Lem
a460e0b31c
Tests for unpacked arrays in packed structs are for the Yosys frontend only
2022-11-23 16:37:51 +01:00
Dag Lem
ddb12148e7
Support for swapped ranges in second array dimension
2022-11-23 16:31:08 +01:00
Jannis Harder
fc2f622a27
Merge pull request #3552 from daglem/fix-sv-c-array-dimensions
...
Correct interpretation of SystemVerilog C-style array dimensions
2022-11-23 15:12:17 +01:00
github-actions[bot]
13e4f343b9
Bump version
2022-11-22 00:18:29 +00:00
Jannis Harder
239ecf9185
Merge branch 'zachjs-master'
2022-11-21 17:47:43 +01:00
N. Engelhardt
b64141f48b
mention prerequisites in fsm_detect and fsm help
2022-11-21 16:07:23 +01:00
github-actions[bot]
e56c689962
Bump version
2022-11-18 00:20:31 +00:00
gatecat
b6467f0801
fabulous: Allow adding extra custom prims and map rules
...
Signed-off-by: gatecat <gatecat@ds0.me>
2022-11-17 13:34:58 +01:00
gatecat
f111bbdf40
fabulous: improvements to the pass
...
Signed-off-by: gatecat <gatecat@ds0.me>
2022-11-17 13:34:58 +01:00
gatecat
e3f9ff2679
fabulous: Unify and update primitives
...
Signed-off-by: gatecat <gatecat@ds0.me>
2022-11-17 13:34:58 +01:00
TaoBi22
12c22045b7
Introduce RegFile mappings
2022-11-17 13:34:58 +01:00
TaoBi22
2b07e01ea4
Replace synth call with components, reintroduce flags and correct vpr flag implementation
2022-11-17 13:34:58 +01:00
TaoBi22
df56178567
Reorder operations to load in primitive library before hierarchy pass
2022-11-17 13:34:58 +01:00
TaoBi22
da32f21b59
Add plib flag to specify custom primitive library path
2022-11-17 13:34:58 +01:00
TaoBi22
950dde3081
Remove flattening from FABulous pass
2022-11-17 13:34:58 +01:00
TaoBi22
8fdf4948a8
Remove ALL currently unused flags (some to be reintroduced later and passed through to synth)
2022-11-17 13:34:58 +01:00
TaoBi22
2e9480be24
Add synth_fabulous ScriptPass
2022-11-17 13:34:58 +01:00
github-actions[bot]
0516fd751c
Bump version
2022-11-17 00:19:18 +00:00
Miodrag Milanovic
48659ee2bb
Slowing down clock to have same metadata
2022-11-16 10:11:05 +01:00
github-actions[bot]
388611aac4
Bump version
2022-11-16 00:19:25 +00:00
Miodrag Milanovic
7de226878d
faketime to make PDFs unique
2022-11-15 14:13:41 +01:00
KrystalDelusion
a14dec79eb
Rst docs conversion ( #3496 )
...
Rst docs conversion
2022-11-15 12:55:22 +01:00
Miodrag Milanović
853f4bb3c6
Merge pull request #3547 from YosysHQ/update_abc
...
Update ABC
2022-11-14 16:53:29 +01:00
Dag Lem
a862642fac
Correct interpretation of SystemVerilog C-style array dimensions
...
IEEE Std 1800™-2017 7.4.2 specifies that [size] is the same as [0:size-1].
2022-11-13 07:41:25 +01:00
Dag Lem
bab88630c2
Support for arrays with swapped ranges within structs
...
This also corrects the implementation of C type arrays within structs.
Fixes #3550
2022-11-12 08:48:25 +01:00
github-actions[bot]
553eb6ac1e
Bump version
2022-11-10 00:19:39 +00:00
Emil J
c75f12a989
Add missing memory width assert preventing division by zero ( #3546 )
2022-11-09 10:34:25 +01:00