diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-10-03 11:11:50 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-10-03 11:11:50 -0700 |
| commit | 045f34403889b69f3ac3ac08d96e5cf1fae787d1 (patch) | |
| tree | 64efd40a13665b66c34182c4b5dec1b3c30ba471 /manual/PRESENTATION_ExSyn | |
| parent | e9645c7fa7fc349afad103ff8736699bb4dc0412 (diff) | |
| download | yosys-045f34403889b69f3ac3ac08d96e5cf1fae787d1.tar.gz yosys-045f34403889b69f3ac3ac08d96e5cf1fae787d1.tar.bz2 yosys-045f34403889b69f3ac3ac08d96e5cf1fae787d1.zip | |
Use `sat -tempinduct` and comments for why equiv_opt not sufficient
Diffstat (limited to 'manual/PRESENTATION_ExSyn')
0 files changed, 0 insertions, 0 deletions