This document discusses behavioral modeling in Verilog using procedures. It covers: 1. Procedures are sections of code intended for a specific task and execute sequentially like hardware blocks. 2. Modules can contain multiple procedures that execute concurrently. Everything in behavioral modeling uses procedural blocks. 3. Procedural blocks can use "initial" blocks that execute once at time zero or "always" blocks that execute forever during simulation. Initial blocks are for test benches while always blocks model hardware.