Description and verification of RTL designs using multiway decision graphs

Zhou, Z.Z.ZhouSong, X.X.SongCorella, F.F.CorellaCerny, E.E.CernyLangevin, M.M.Langevin2022-03-092022-03-091995https://publica.fraunhofer.de/handle/publica/323900en005006629Description and verification of RTL designs using multiway decision graphsconference paper