Tohru Sasaki, Nobuhiko Koike, Kenji Ohmori, Kyoji Tomita. HAL: A block level HArdware Logic simulator. In Charles E. Radke, editor, Proceedings of the 20th Design Automation Conference, DAC '83, Miami Beach, Florida, USA, June 27-29, 1983. pages 150-156, ACM/IEEE, 1983. [doi]
Abstract is missing.