Mode | Name | Size | |
---|---|---|---|
d--------- | aiger | 1097 | logplain |
d--------- | asicworld | 4939 | logplain |
d--------- | bram | 157 | logplain |
d--------- | errors | 546 | logplain |
d--------- | fsm | 116 | logplain |
d--------- | hana | 1148 | logplain |
d--------- | liberty | 321 | logplain |
d--------- | lut | 338 | logplain |
d--------- | memories | 303 | logplain |
d--------- | opt | 482 | logplain |
d--------- | realmath | 116 | logplain |
d--------- | sat | 690 | logplain |
d--------- | share | 116 | logplain |
d--------- | simple | 1902 | logplain |
d--------- | smv | 118 | logplain |
d--------- | sva | 617 | logplain |
d--------- | svinterfaces | 515 | logplain |
d--------- | techmap | 323 | logplain |
d--------- | tools | 314 | logplain |
d--------- | unit | 69 | logplain |
d--------- | various | 424 | logplain |
d--------- | vloghtb | 278 | logplain |