Principles of verifiable RTL design | lit.salon