Tim Todman, Wayne Luk. Verification of streaming designs by combining symbolic simulation and equivalence checking. In Dirk Koch, Satnam Singh, Jim Tørresen, editors, 22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, Norway, August 29-31, 2012. pages 203-208, IEEE, 2012. [doi]
Abstract is missing.