| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
| |
By operating at a layer of abstraction over the rather clumsy Intel primitives,
we can avoid special hacks like `dffinit -highlow` in favour of simple techmapping.
This also makes the primitives much easier to manipulate, and more descriptive
(no more cyclonev_lcell_comb to mean anything from a LUT2 to a LUT6).
|
| |
|
| |
|
|
|
|
|
| |
This commit adds a basic implementation that isn't very performant
but implements most of the planned features.
|
|
|
|
|
| |
If this is not present in the install, #include-ing most yosys
headers will fail in rtlil.h:380.
|
|\
| |
| | |
Enable ENABLE_LIBYOSYS when ENABLE_PYOSYS is set (closes #1813)
|
| | |
|
|/
|
|
| |
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
| |
|
|
|
|
|
|
|
|
|
|
| |
`rev-parse --short` output may have a different abbreviated hash length than
ABCREV, so a simple string comparison always fails, even if the correct
commit is checked out. Pass both commits through rev-parse and then
compare the full hashes instead.
Add an `echo-abc-rev` target so that packaging scripts can set ABCPULL=0 and
handle all the git nastiness themselves.
|
| |
|
|
|
|
| |
This reverts commit 2a746234fec2f6d14e9bfa40fd7f3478cdd539ea.
|
|
|
|
| |
This reverts commit 90404e1969443a1b8a767ab8f3dc311709c5fe9d.
|
|\
| |
| | |
Makefile improvements for packaging scripts
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
`rev-parse --short` output may have a different abbreviated hash length than
ABCREV, so a simple string comparison always fails, even if the correct
commit is checked out. Pass both commits through rev-parse and then
compare the full hashes instead.
Add an `echo-abc-rev` target so that packaging scripts can set ABCPULL=0 and
handle all the git nastiness themselves.
|
| |
| |
| |
| |
| |
| | |
- libyosys.so is now only installed to LIBDIR instead of LIBDIR, BINDIR
and PYTHON_DESTDIR
- replace mkdir/cp for single files with `install`
|
| | |
|
| | |
|
| | |
|
| | |
|
|/
|
|
| |
Signed-off-by: Rodrigo Alejandro Melo <rodrigomelo9@gmail.com>
|
|\ |
|
| |
| |
| |
| | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
|/ |
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The behaviour of python-config --libs has changed in Python 3.8.
For example, compare the output of it with Python 3.7 and 3.8 on an
ArchLinux system:
$ python3.7-config --libs
-lpython3.7m -lcrypt -lpthread -ldl -lutil -lm
$ python3.8-config --libs
-lcrypt -lpthread -ldl -lutil -lm -lm
$
The lack of -lpython in the latter case causes the linker to fail when
attempting to build Yosys against Python 3.8.
Passing the new --embed flag to python-config adds -lpython, just like
earlier versions of Python:
$ python3.8-config --embed --libs
-lpython3.8 -lcrypt -lpthread -ldl -lutil -lm -lm
$
This commit adds code for automatically detecting support for the
--embed flag. If it is supported, it is passed to all python-config
invocations. This fixes building against Python 3.8.
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
On some architectures, notably on Windows, the official name for the
Python binary from python.org is `python`. The build system assumes
that python is called `python3`, which breaks under this architecture.
There is already infrastructure in place to determine the name of the
Python binary when building PYOSYS. Since Python is now always required
to build Yosys, enable this check universally which sets the
`PYTHON_EXECUTABLE` variable.
Then, reuse this variable in other Makefiles as necessary, rather than
hardcoding `python3` everywhere.
Signed-off-by: Sean Cross <sean@xobs.io>
|
| |
|
|\ |
|
| |\ |
|
| | |\ |
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | |\
| | | | |
| | | | |
| | | | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| | | | |
| | | | |
| | | | |
| | | | | |
Signed-off-by: David Shah <dave@ds0.me>
|
| | |\ \ \
| | | |_|/
| | |/| |
| | | | | |
into eddie/pr1352
|
| | | | | |
|
| |\ \ \ \
| | |_|_|/
| |/| | |
| | | | | |
https://github.com/SergeyDegtyar/yosys into mmicko/anlogic
|
| | |\| | |
|
| | | |/
| | |/|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Problems/questions:
- memory.ys: ERROR: Failed to import cell gate.mem.0.0.0 (type
EG_LOGIC_DRAM16X4) to SAT database.
Why EG_LOGIC_DRAM16X4, not AL_LOGIC_BRAM?
- Internal cell type $_TBUF_ is present.
|
|\ \ \ \
| |/ / /
|/| | |
| | | | |
https://github.com/SergeyDegtyar/yosys into mmicko/efinix
|
| |\ \ \
| | | |/
| | |/| |
|
| | |/
| |/|
| | |
| | |
| | |
| | |
| | | |
Problems/questions:
- fsm.ys. equiv_opt -assert failed because of unproven cells;
- latches.ys,tribuf.ys - internal cells present;
- memory.ys - sat called with -verify and proof did fail.
|
| | |
| | |
| | |
| | | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
| |/
|/|
| |
| | |
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
|\ \
| | |
| | | |
rpc: new frontend
|