Exact Synthesis of ESOP Forms
Benchmark Suite
Completely-specified Boolean functions
| Name | Number | Download |
|---|---|---|
| NPN4 equivalence class | 222 | npn4.txt |
| 8-LUT Mappping | 4001 | lut8.txt |
Incompletely-specified Boolean functions
| Name | Number | Download |
|---|---|---|
| Random functions with 5 Boolean variables | 100 | random5.txt |
| Random functions with 6 Boolean variables | 100 | random6.txt |
| Random functions with 7 Boolean variables | 100 | random7.txt |
| Random functions with 8 Boolean variables | 100 | random8.txt |
Synthesis results
References
- Heinz Riener, Rüdiger Ehlers, Bruno Schmitt, Giovanni De Micheli, Exact Synthesis of ESOP Forms, In 13th International Workshop on Boolean Problems (IWSBP), Bremen, Germany, 2018.