International Journal of Reconfigurable Computing / 2018 / Article / Tab 3

Research Article

Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions

Table 3

Partitioning results.

Cluster number Checkers in the cluster FFs LUTs Max. freq.

1171402450
2262754423
3245608460