Asherah Connor
94913a9f5a
cxxrtl: use octal encoding of non-printables.
...
"\x0a" is a perfectly valid escape sequence, but unfortunately "\x0ac"
is equivalent to "\xac", and not "\x0a" "c" as we might expect --- *any*
number of hexadecimal characters after the "\x" is accepted. This can be
hit pretty easily if a newline is present in a format string.
"\x{...}" syntax is only available as of C++23, so use octal format
instead; a maximum of 3 digits following the backslash is accepted.
The alternative would be to render every escape like `" "\x0a" "`, but
it seems more effort that way.
2024-08-27 17:41:52 +03:00
Emily Schmidt
b428bf4600
functional backends: identifiers in c++/smtlib may not start with digits
2024-08-27 13:10:34 +01:00
Emily Schmidt
459e6b913a
add functional ir documentation
2024-08-27 11:11:02 +01:00
Krystine Sherwin
ecff434886
Docs: Use version name from readthedocs
...
Latest still gets -dev, but if it's a docs preview use the tag/branch name.
2024-08-27 10:21:31 +12:00
Krystine Sherwin
a20756676c
ci: Update RTDs trigger conditional
...
Trigger on main, on a branch called `docs-preview*`, or on any tag.
2024-08-27 10:06:26 +12:00
Krystine Sherwin
83692075df
ci: Don't cancel previous builds
...
Which is what the comment said, but the code didn't match.
2024-08-27 10:06:26 +12:00
Krystine Sherwin
98d26bdd2c
Docs: Fix nested list on build_verific page
2024-08-27 10:06:26 +12:00
Krystine Sherwin
7d63fdd88e
README: building docs on macos
2024-08-27 10:06:25 +12:00
Krystine Sherwin
5d5d890d5b
Docs: macos-safe build
...
Swap `cp -u` for `rsync -t`.
Drop the workaround to get the list of dot files after copying them, and instead just run the makefile twice.
Swap `$(wildcard **/*.x)` for `$(shell find . -name *.x)`,
2024-08-27 10:06:25 +12:00
Krystine Sherwin
0b53b10770
Makefile: Stop unconditionally install docs prereqs
2024-08-27 10:06:25 +12:00
Krystine Sherwin
2e1335a023
Docs: Fix local builds
...
Based on the docs-test-fork PR branch, includes PR preview announcement, linking to the relevant tyrtd page
2024-08-27 10:06:25 +12:00
N. Engelhardt
0fc5812dcd
Merge pull request #4541 from YosysHQ/krys/compiler-warnings
...
Resolve (some) compiler warnings
2024-08-26 15:04:16 +02:00
github-actions[bot]
72f77dd97b
Bump version
2024-08-23 00:18:22 +00:00
KrystalDelusion
09a42dd421
Merge pull request #4396 from YosysHQ/krys/docs_verific
...
Clarify Verific support where the `verific` front end is mentioned
Add page on building yosys+verific
2024-08-23 09:52:37 +12:00
Krystine Sherwin
583d820dc2
Docs: Apply verific docs suggestions
2024-08-23 09:23:57 +12:00
Emil J
7b0ecaa953
Merge pull request #4549 from YosysHQ/emil/macos-max-mem-usage
...
driver: print maximum memory usage on macOS
2024-08-22 17:43:32 +02:00
Emily Schmidt
761eff594f
functional backend: missing includes for stl containers
2024-08-22 11:13:58 +01:00
Emily Schmidt
9b5e81b13f
drivertools: fix C++20 "incomplete type" error by moving constructors below other definitions
2024-08-22 10:40:56 +01:00
github-actions[bot]
27b51cb351
Bump version
2024-08-22 00:18:24 +00:00
Krystine Sherwin
3317d80480
Docs: Clarify verific caveats
2024-08-22 10:04:00 +12:00
Krystine Sherwin
6431534c24
Docs: Some other fixes
2024-08-22 10:03:59 +12:00
Krystine Sherwin
8145461c78
Docs: Fix Verific builds table formatting
...
PDF don't like the long headers, so instead use placeholders a-d with elaborations below.
2024-08-22 10:03:59 +12:00
Krystine Sherwin
0327ad97f2
Docs: Fix code formatting
...
Gets me everytime
2024-08-22 10:03:59 +12:00
Krystine Sherwin
36ad07e1d5
Docs: Update build_verific
...
Clarify partially supported builds section.
Update parameter defaults.
Include note on finding compile options with `yosys-config`.
Fix remaining references to `/yosys_source/`.
2024-08-22 10:03:59 +12:00
Krystine Sherwin
88bb785dcd
Docs: Verific but with sentences
2024-08-22 10:03:59 +12:00
Krystine Sherwin
cfba26ca8b
Docs: Verific progress
2024-08-22 10:03:59 +12:00
Krystine Sherwin
00bb3b6fc2
Docs: Merge yosys_source into extending_yosys
...
Move abc_flow content into synthesis/abc document.
2024-08-22 10:03:59 +12:00
Krystine Sherwin
8e618cac45
Docs: Update build_verific.rst
...
Move patch section to top.
Add todos for open questions.
Reformat partially supported builds into a single table.
General language tidy up/reflow.
2024-08-22 10:03:59 +12:00
Krystine Sherwin
53b223f0df
Docs: Initial build_verific.rst
...
From verific.md
Co-authored-by: Miodrag Milanovic <mmicko@gmail.com>
2024-08-22 10:03:59 +12:00
Krystine Sherwin
d97a243c22
Docs: Intro to Yosys source section
2024-08-22 10:03:59 +12:00
Krystine Sherwin
e18a2f1e27
Docs: Section/folder for yosys source details
...
Move test_suites page into said folder.
Placeholder page for building with verific.
2024-08-22 10:03:58 +12:00
Krystine Sherwin
2ffafadf22
Docs: Add note on verific
...
Having a verific license does not provide access to the verific frontend.
2024-08-22 10:03:58 +12:00
Roland Coeurjoly
27c1432253
Remove log
2024-08-21 14:28:42 +01:00
Roland Coeurjoly
91e3773b51
Ensure signed constants are correctly parsed, represented, and exported in RTLIL. Add a test to check parsing and exporting
2024-08-21 14:28:42 +01:00
Emily Schmidt
f456761e88
add sandia copyright notice to the functional backend
2024-08-21 11:04:11 +01:00
Emily Schmidt
831da51255
add picorv test to functional backend
2024-08-21 11:04:11 +01:00
Emily Schmidt
50047d25b3
functional backend: add different types of input/output/state variables
2024-08-21 11:04:11 +01:00
Emily Schmidt
79a1b691ea
silence some more warnings, undo mistaken addition
2024-08-21 11:04:11 +01:00
Emily Schmidt
8f77494263
silence some warnings
2024-08-21 11:04:11 +01:00
Emily Schmidt
fbee31080e
add optional header and hashlib implementation for optional
2024-08-21 11:04:11 +01:00
Emily Schmidt
850b3a6c29
convert class FunctionalIR to a namespace Functional, rename functionalir.h to functional.h, rename functional.h to compute_graph.h
2024-08-21 11:04:08 +01:00
Emily Schmidt
8c0f625c3a
functional backend: topological sort starts with the output and next states nodes, other nodes get deleted
2024-08-21 11:03:29 +01:00
Emily Schmidt
7ac0e92d35
functional backend: rename get_input and get_current_state to input and current_state (more consistent with other methods)
2024-08-21 11:03:29 +01:00
Emily Schmidt
95d28c22a2
functional backend: make Memory in the C++ simulation library read-only again
2024-08-21 11:03:29 +01:00
Emily Schmidt
99effb6789
add support for initializing registers and memories to the functional backend
2024-08-21 11:03:29 +01:00
Emily Schmidt
bdb59ffc8e
add -fst-noinit flag to sim for not initializing the state from the fst file
2024-08-21 11:03:29 +01:00
Emily Schmidt
12a31a4418
add MemContents class to mem.h
2024-08-21 11:03:29 +01:00
Emily Schmidt
6d329e142d
functional backend: error out if multiply driven or undriven signals are seen, dont bother putting them in functionalir
2024-08-21 11:03:29 +01:00
Emily Schmidt
145af6f10d
fix memory handling in functional backend, add more error messages and comments for memory edgecases
2024-08-21 11:03:29 +01:00
Emily Schmidt
4722f13a5d
functional backend: reduce $lcu to $alu
2024-08-21 11:03:29 +01:00
