diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-03-10 14:32:01 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-03-10 14:32:01 +0100 |
| commit | da216937b1226d8dafc1aa33a19686eb694a15df (patch) | |
| tree | 26b8eea16e9db9595035110611b9379fa66b536e /techlibs/xilinx/tests/bram2.sh | |
| parent | a74f805ba0e3d1611d0a9904ab3a66c5d7bd38f3 (diff) | |
| download | yosys-da216937b1226d8dafc1aa33a19686eb694a15df.tar.gz yosys-da216937b1226d8dafc1aa33a19686eb694a15df.tar.bz2 yosys-da216937b1226d8dafc1aa33a19686eb694a15df.zip | |
Add support for trivial SVA sequences and properties
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'techlibs/xilinx/tests/bram2.sh')
0 files changed, 0 insertions, 0 deletions