diff options
author | Clifford Wolf <clifford@clifford.at> | 2017-07-25 14:53:11 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2017-07-25 14:53:11 +0200 |
commit | 6dbe1d4c92ffecaa0c6be57c3eb34fbb2c5266c2 (patch) | |
tree | e67fa11bb4f17f1fd5f4c6f65c2f67fac541a703 /manual/PRESENTATION_ExAdv/red_or3x1_test.v | |
parent | 493fedbaf92e04582d09a5eb6bc32d7c36f43a24 (diff) | |
download | yosys-6dbe1d4c92ffecaa0c6be57c3eb34fbb2c5266c2.tar.gz yosys-6dbe1d4c92ffecaa0c6be57c3eb34fbb2c5266c2.tar.bz2 yosys-6dbe1d4c92ffecaa0c6be57c3eb34fbb2c5266c2.zip |
Add "verific -extnets"
Diffstat (limited to 'manual/PRESENTATION_ExAdv/red_or3x1_test.v')
0 files changed, 0 insertions, 0 deletions