Research Article

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

Table 2

Synthesis results on Zynq-7000 FPGA.

Name FFs LUTs Max Frequency (MHz)

4 15 833
35 108 455
19 24 733
43 80 570
1 3 1221
35 125 450
3 4 940
5 11 841
1 3 1221
3 4 1131
1 2 1221
72 168 450
60 217 470
50 111 460
62 125 501
80 240 431
62 129 501
81 225 423
61 170 423