|
|
76d832bcaf
|
merge conflict resovled
check properties / tests (push) Has been cancelled
|
2026-02-17 14:26:25 +00:00 |
|
|
|
b7892c3abc
|
added changes
|
2026-02-17 14:22:33 +00:00 |
|
|
|
dc9fc2bd7d
|
added delta value field
|
2026-02-17 13:49:05 +00:00 |
|
Peter Rugg
|
bad0d9cdb6
|
Default to 128-bit caps
|
2025-03-04 14:49:41 +00:00 |
|
Peter Rugg
|
c5da2ebc5d
|
Move to building untracked files in subdirectories to improve cleaning
|
2025-03-04 14:49:41 +00:00 |
|
Alexandre Joannou
|
3926b793bf
|
Added an env var to control bsc vdir flag
|
2025-02-04 12:22:21 +00:00 |
|
Alexandre Joannou
|
19d3983010
|
Added an option to control the capability type used for verilog wrappers
|
2025-01-27 12:13:19 +00:00 |
|
Jonathan Woodruff
|
c2fe9cc093
|
Add rule in makefile to perform the formal property checks.
|
2025-01-24 15:20:14 +00:00 |
|
Matthew Naylor
|
d9e2fb788a
|
Some properties that pass through SymbiYosys
|
2025-01-24 13:37:49 +00:00 |
|
Ivan Ribeiro
|
a6664e512c
|
Implement changes suggested by @gameboo + bugfix
Uses argparse's "choices" argument, remove unused method and use abc and
for abstract methods.
Also updates the python filename in the Makefile
|
2023-10-02 17:46:29 +01:00 |
|
Alexandre Joannou
|
b3494ce8af
|
Adding blarney wrapper
|
2019-10-22 10:56:11 +01:00 |
|
Ivan Ribeiro
|
f948e576d9
|
Default to CAP64 and RISCV architecture
|
2019-08-02 15:51:06 +01:00 |
|
Alexandre Joannou
|
350a7939cc
|
Updated verilog wrapping
|
2019-07-18 12:48:51 +01:00 |
|
