This paper studies the design and verification of a 4x4 Wallace tree multiplier, which is a high-speed and area-efficient hardware implementation for multiplying binary numbers. The design is created using Verilog HDL and verified using System Verilog HVL, achieving 100% functional coverage through extensive simulations. The work highlights the importance of multipliers in digital signal processing and demonstrates a rigorous approach to verifying digital circuit designs.