The number of bitstreams that it is necessary to generate and download is determined by the number of pins which comprise the communication bus. The following expressions describe the total number of bitstream files to be downloaded onto a FUT(T_FUTBITSTREAM (1)).