@inproceedings{DAC-2000-YenY,
	author        = "Jen-Tien Yen and Qichao Richard Yin",
	booktitle     = "{Proceedings of the 37th Design Automation Conference}",
	doi           = "10.1145/337292.337755",
	pages         = "718--723",
	publisher     = "{ACM}",
	title         = "{Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor}",
	year          = 2000,
}