New on CTAN: register-transfer-level