Project verification and construction of superchip tests at the RTL level. - Zolotorevich, L. (Automation & Remote Control, 2013)