@inproceedings{3646c6709d4a4333b8d30cb77f670c2e,
title = "Simulation based verification of register-transfer level behavioral synthesis tools",
abstract = "The authors present a simulation based system for verification of register-transfer level behavioral synthesis tools. Applications are tool debugging and automatic regression test. Key feature is a transformation of sequential circuits for application of pseudo-random test patterns. The results show a high relevance of verification with pseudo-random patterns.",
author = "R. Ernst and S. Sutarwala and Jou, {J. Y.} and M. Tong",
note = "Publisher Copyright: {\textcopyright} 1990 IEEE.; 1990 European Design Automation Conference, EDAC 1990 ; Conference date: 12-03-1990 Through 15-03-1990",
year = "1990",
doi = "10.1109/EDAC.1990.136680",
language = "???core.languages.en_GB???",
series = "Proceedings of the European Design Automation Conference, EDAC 1990",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "396--400",
booktitle = "Proceedings of the European Design Automation Conference, EDAC 1990",
}