Verification of streaming designs by combining symbolic simulation and equivalence checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Tim Todman' in GoogleThis author has not been identified. Look up 'Wayne Luk' in Google

runs on WebDSL