angiola harry RtMeaovyPTM unsplash
Applications & Technology

New Assertion-Based Verification in Python Hardware Flow

July 17, 2025 Holt Hackney 0

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 […]