diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2020-10-12 14:56:15 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2020-10-12 14:56:15 +0200 |
| commit | c8f052bbe0526cae6ca88291a484d8945e2b00dd (patch) | |
| tree | d0e76e38d3a7bfa5734420eb38fcfb69d6a30874 /techlibs/easic | |
| parent | c403c984dd4a977c5d5031b1a903096c02da3e67 (diff) | |
| download | yosys-c8f052bbe0526cae6ca88291a484d8945e2b00dd.tar.gz yosys-c8f052bbe0526cae6ca88291a484d8945e2b00dd.tar.bz2 yosys-c8f052bbe0526cae6ca88291a484d8945e2b00dd.zip | |
extend verific library API for formal apps and generators
Diffstat (limited to 'techlibs/easic')
0 files changed, 0 insertions, 0 deletions