Mode | Name | Size | |
---|---|---|---|
d--------- | aiger | 76 | logplain |
d--------- | blif | 75 | logplain |
d--------- | btor | 116 | logplain |
d--------- | edif | 113 | logplain |
d--------- | firrtl | 184 | logplain |
d--------- | ilang | 127 | logplain |
d--------- | intersynth | 81 | logplain |
d--------- | json | 75 | logplain |
d--------- | protobuf | 117 | logplain |
d--------- | simplec | 232 | logplain |
d--------- | smt2 | 302 | logplain |
d--------- | smv | 115 | logplain |
d--------- | spice | 76 | logplain |
d--------- | table | 76 | logplain |
d--------- | verilog | 86 | logplain |