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
2ā€‰ 262754423
3ā€‰ 245608460