For years the challenges facing the design and verification engineers have been growing following the increase in design complexity due to Moore’s law. Luckily EDA has managed to keep up with this complexity though innovations in verification tooling. While the correlation between these trends have keep us all employed delivering high quality products, the industry is currently in the process of navigating a discontinuity in complexity due to software. Traditionally RTL verification has been relatively insulated from the complexity of software which has also been growing with Moore’s law, this isolation has been crumbling as the software becomes more critical to the success of the device. In this workshop we will present best practices in how a unified co-verification flow can address this discontinuity in verification complexity though integration of tools and unification of UI for the previously separate verification domains.