Text this: Project verification and construction of superchip tests at the RTL level.