New Assertion-Based Verification in Python Hardware Flow

Link: https://www.architectureandgovernance.com/applications-technology/new-assertion-based-verification-in-python-hardware-flow/

From Architecture & Governance Magazine

Researchers from the National University of Defense Technology (NUDT) in Changsha, China have introduced a first-of-its-kind framework, PyABV, that “seamlessly” integrates assertion-based verification into the PyRTL hardware design flow. PyABV enables designers to detect and […]