@inproceedings{DAC-1975-Rajlich,
	acmid         = "809071",
	author        = "Václav Rajlich",
	booktitle     = "{Proceedings of the 12th Design Automation Conference}",
	pages         = "224--230",
	publisher     = "{ACM}",
	title         = "{A CAD system for unified hardware-software design}",
	year          = 1975,
}