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.
1		171	402	450
2		262	754	423
3		245	608	460