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]
No references recorded for this publication.
No citations of this publication recorded.