Development and Verification of Various Formats of Functional Blocks Libraries as a Part of the Design Flow for FPGAs | IEEE Conference Publication | IEEE Xplore