![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| bigchip.sdf | 2024-09-14 02:46 | 815 | |
| celltype.sdf | 2024-09-14 02:46 | 824 | |
| clb.sdf | 2024-09-14 02:46 | 1.7K | |
| empty.sdf | 2024-09-14 02:46 | 47 | |
| fixpoint.sdf | 2024-09-14 02:46 | 559 | |
| golden/ | 2024-09-14 02:46 | - | |
| modulo6.sdf | 2024-09-14 02:46 | 1.1K | |
| real_triple.sdf | 2024-09-14 02:46 | 361 | |
| spec-example1.sdf | 2024-09-14 02:46 | 1.6K | |
| spec-example2.sdf | 2024-09-14 02:46 | 1.8K | |
| spec-example3.sdf | 2024-09-14 02:46 | 576 | |
| spec-example4.sdf | 2024-09-14 02:46 | 439 | |
| test-device.sdf | 2024-09-14 02:46 | 339 | |
| test1.sdf | 2024-09-14 02:46 | 4.6K | |
| timings_hx1k.sdf | 2024-09-14 02:46 | 33K | |