Simulation based verification of register-transfer level behavioral synthesis tools
Rolf Ernst, Shailesh Sutarwala, J.–Y. Jou, M. Tong · European Design Automation Conference · 1990
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. >