diff options
author | Miodrag Milanović <mmicko@gmail.com> | 2020-08-26 13:26:34 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-26 13:26:34 +0200 |
commit | 4f2b78e19af3a2d342efe9780e220282b7a3a046 (patch) | |
tree | c98b58fe5739f08691211b0c593792feba3d737c /tests/arch | |
parent | 08a226c9e728557f8b8c970a3a25b55ba5fc00cf (diff) | |
parent | fe8226a22d6f4030a525a6792a6188817571718b (diff) | |
download | yosys-4f2b78e19af3a2d342efe9780e220282b7a3a046.tar.gz yosys-4f2b78e19af3a2d342efe9780e220282b7a3a046.tar.bz2 yosys-4f2b78e19af3a2d342efe9780e220282b7a3a046.zip |
Merge pull request #2355 from YosysHQ/verific_improvements
Add formal apps and template generators
Diffstat (limited to 'tests/arch')
0 files changed, 0 insertions, 0 deletions