Masahiko Kawamura, Haruo Takagi, Kanji Hirabayashi
Functional verification of memory circuits from mask artwork data
DAC, 1984.
@inproceedings{DAC-1984-KawamuraTH,
acmid = "800801",
author = "Masahiko Kawamura and Haruo Takagi and Kanji Hirabayashi",
booktitle = "{Proceedings of the 21st Design Automation Conference}",
isbn = "0-8186-0542-1",
pages = "228--234",
publisher = "{ACM/IEEE}",
title = "{Functional verification of memory circuits from mask artwork data}",
year = 1984,
}