Bitstream format
Device data
| Device | DOUBLE_GRESTORE | FREEZE_DCI_NOPS | 
|---|---|---|
| [0] | ||
| xc2v40 | 0 | 4056 | 
| xc2v80 | 0 | 4094 | 
| xc2v250 | 0 | 4092 | 
| xc2v500 | 0 | 4128 | 
| xc2v1000 | 1 | 0 | 
| xq2v1000 | 1 | 0 | 
| xqr2v1000 | 1 | 0 | 
| xc2v1500 | 0 | 4158 | 
| xc2v2000 | 0 | 4234 | 
| xc2v3000 | 1 | 0 | 
| xq2v3000 | 1 | 0 | 
| xqr2v3000 | 1 | 0 | 
| xc2v4000 | 1 | 0 | 
| xc2v6000 | 1 | 0 | 
| xq2v6000 | 1 | 0 | 
| xqr2v6000 | 1 | 0 | 
| xc2v8000 | 0 | 4576 | 
| xc2vp2 | 0 | 4094 | 
| xc2vp4 | 0 | 4134 | 
| xc2vp7 | 0 | 4134 | 
| xc2vp20 | 0 | 4234 | 
| xc2vp30 | 0 | 4738 | 
| xc2vp40 | 0 | 226 | 
| xq2vp40 | 0 | 226 | 
| xc2vp50 | 0 | 4294 | 
| xc2vp70 | 0 | 4522 | 
| xq2vp70 | 0 | 4522 | 
| xc2vp100 | 0 | 4590 | 
| xc2vpx20 | 0 | 146 | 
| xc2vpx70 | 0 | 266 |