Use AUTO_TEMPLATE in core.v.
Update assertion message.