@inproceedings{ng-hu-yang-iccd04,
	author = "Kelvin Ng and Alan J. Hu and Jin Yang",
	title = "Generating Monitor Circuits for Simulation-Friendly {GSTE} Assertion Graphs",
	booktitle = "International Conference on Computer Design",
	publisher = "IEEE Computer Society Press",
	year = 2004,
	pages = "409--416"
}