@inproceedings{DAC-1979-CarterJB,
	acmid         = "811722",
	author        = "William C. Carter and William H. Joyner Jr. and Daniel Brand",
	booktitle     = "{Proceedings of the 16th Design Automation Conference}",
	pages         = "280--286",
	publisher     = "{ACM}",
	title         = "{Symbolic simulation for correct machine design}",
	year          = 1979,
}