New framework PyABV significantly enhances assertion verification capabilities of PyRTL
image: Framework of PyABV
Credit: HIGHER EDUCATON PRESS
In the process of hardware design and verification, assertion-based verification is a critical technology. However, existing tools often face performance bottlenecks when dealing with complex designs in HADM.
To solve the problems, a research team led by Tun LI published their new research on 15 July 2025 in Frontiers of Computer Science co-published by Higher Education Press and Springer Nature. The research team has proposed PyABV, a framework designed to enhance assertion-based verification in PyRTL.
By introducing advanced assertion mechanisms, the PyABV framework significantly improves verification coverage while maintaining high performance. By introducing advanced assertion mechanisms, the PyABV framework significantly improves verification coverage while maintaining high performance.
The PyABV framework is not only applicable to academic research but also demonstrates broad application prospects in industrial hardware design. In the future, the research team plans to further optimize the framework to support larger-scale design verification needs.