This repository contains the verification of a traffic light control system using UVM (Universal Verification Methodology). The environment includes: Assertions – Ensuring correct light transitions ...