diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-21 11:15:47 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-21 11:15:47 -0800 |
| commit | 6b96df41bcc25b3ba71fdb83e5b7b0a46c3936dd (patch) | |
| tree | 20c6723203237d90c4a99430d7a6a45b68746877 /passes/sat | |
| parent | 2f96a0ed32799eba95837d0b64953b889e607c22 (diff) | |
| download | yosys-6b96df41bcc25b3ba71fdb83e5b7b0a46c3936dd.tar.gz yosys-6b96df41bcc25b3ba71fdb83e5b7b0a46c3936dd.tar.bz2 yosys-6b96df41bcc25b3ba71fdb83e5b7b0a46c3936dd.zip | |
abc9 to only disconnect output ports of AND and NOT gates
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions