Mode | Name | Size | |
---|---|---|---|
d--------- | cmds | 1002 | logplain |
d--------- | equiv | 461 | logplain |
d--------- | fsm | 432 | logplain |
d--------- | hierarchy | 157 | logplain |
d--------- | memory | 375 | logplain |
d--------- | opt | 390 | logplain |
d--------- | proc | 358 | logplain |
d--------- | sat | 378 | logplain |
d--------- | techmap | 1150 | logplain |
d--------- | tests | 165 | logplain |