RTL design and verification