In recent years, the relentless drive for enhanced power efficiency has propelled the aggressive miniaturization of electronic devices. A fundamental cornerstone in any electronic system is power conversion. This thesis delves into the heart of power conversion, focusing on the buck-boost converter—a device theoretically capable of achieving maximum efficiency. While buck-boost converters have revolutionized power efficiency, their performance hinges critically on their control logic. Designing this control logic is far from trivial. This thesis explores a solution rooted in industry practice: the adoption of asynchronous state machines. Asynchronous state machines offer unparalleled advantages, but their implementation introduces complexity. Recognizing this, we develop a specialized testing environment using the Universal Verification Methodology (UVM).