RTL specification.