HAL II: a mixed level hardware logic simulation system.

Shigeru Takasaki, Tohru Sasaki, Nobuyoshi Nomizu, Hiroshi Ishikura, Nobuhiko Koike

Browse the full DAC paper archive.