MIXS: A mixed level simulator for large digital system logic verification. - Tohru Sasaki; Akihiko Yamada; Shunichi Kato; Terufumi Nakazawa; Kyoji Tomita; Nobuyoshi Nomizu (DAC, 1980)