Retrascope » Retrascope Test Suite

vcegar/pj_icram designs icram_3.v, icram_4.v and icram_5.v contain too big arrays that nuXmv model checker can't handle:

`define    ic_size    2047  // icram_3.v
`define    ic_size    4093  // icram_4.v
`define    ic_size    8191  // icram_5.v
...
reg [7:0] ic_ram [`ic_size:0];

Moreover, Retrascope's cgaa-hldd-transformer engine can't handle icram_4.v and icram_5.v (needs too much memory and time to build HLDDs).
These designs will be temporarily excluded from the HLDD-based tests.