Functions, Procedures, and Testbenches