diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-09 11:53:51 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-10 21:49:22 +0000 |
| commit | 005dd601abebe66b37b48509ba0785050f4a313a (patch) | |
| tree | f7478f4fbf9eacd67a83d5376077c1e8711ddf56 /passes/pmgen/ice40_wrapcarry.cc | |
| parent | 282d331e7e5783214eb4bc9b2e667f0d67ddc5fe (diff) | |
| download | yosys-005dd601abebe66b37b48509ba0785050f4a313a.tar.gz yosys-005dd601abebe66b37b48509ba0785050f4a313a.tar.bz2 yosys-005dd601abebe66b37b48509ba0785050f4a313a.zip | |
Extend `add` command to allow adding cells for verification like $assert, $assume, etc.
Diffstat (limited to 'passes/pmgen/ice40_wrapcarry.cc')
0 files changed, 0 insertions, 0 deletions