"HAL: A block level HArdware Logic simulator."

Tohru Sasaki et al. (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics