diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2021-07-09 09:02:27 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-07-09 09:02:27 +0200 |
| commit | 7a5ac909858c22f2daf2f7ca63869c554dc3b9b5 (patch) | |
| tree | 4c5e9c90348c05c9a508eb2922fdfdb4b367654a /techlibs/xilinx | |
| parent | 4446cfa524cf06e84add450214f64b2de6e199c3 (diff) | |
| download | yosys-7a5ac909858c22f2daf2f7ca63869c554dc3b9b5.tar.gz yosys-7a5ac909858c22f2daf2f7ca63869c554dc3b9b5.tar.bz2 yosys-7a5ac909858c22f2daf2f7ca63869c554dc3b9b5.zip | |
Update to latest Verific with extensions for initial assertions
Diffstat (limited to 'techlibs/xilinx')
0 files changed, 0 insertions, 0 deletions