Verification of FPGA internal resources | Publicación