Jian Shen, Jacob A. Abraham, Dave Baker, Tony Hurson, Martin Kinkade, Gregorio Gervasio, Chen-chau Chu, Guanghui Hu
Functional Verification of the Equator MAP1000 Microprocessor
DAC, 1999.
@inproceedings{DAC-1999-ShenABHKGCH,
author = "Jian Shen and Jacob A. Abraham and Dave Baker and Tony Hurson and Martin Kinkade and Gregorio Gervasio and Chen-chau Chu and Guanghui Hu",
booktitle = "{Proceedings of the 36th Design Automation Conference}",
doi = "10.1145/309847.309908",
pages = "169--174",
publisher = "{ACM Press}",
title = "{Functional Verification of the Equator MAP1000 Microprocessor}",
year = 1999,
}