This work presents the functional verification of logic modules for a Gigabit Ethernet (GigE) Switch for an ASIC based on the NetFPGA platform. A coverage-driven constrained random stimulus approach ...