Functions, Procedures, and Testbenches - Xilinx