Klaus Schneider, Thomas Kropf, Ramayya Kumar
Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path
DATE, 1994.
@inproceedings{EDAC-1994-SchneiderKK,
author = "Klaus Schneider and Thomas Kropf and Ramayya Kumar",
booktitle = "{Proceedings of the European Conference on Design Automation (EDAC), European Test Conference (ETC) and the European Event in ASIC Design (EUROASIC)}",
isbn = "0-8186-5410-4",
pages = "648--652",
publisher = "{IEEE Computer Society}",
title = "{Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path}",
year = 1994,
}