Formal RTL Sign-off with Abstract Models

Lucas Deutschmann, Osama Ayoub, Rohith Batthineni, Michael Schwarz, Tobias Ludwig, Dominik Stoffel, Wolfgang Kunz