Simulation-based equivalence checking between SystemC models at different levels of abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler. Simulation-based equivalence checking between SystemC models at different levels of abstraction. In David Atienza, Yuan Xie, José L. Ayala, Ken S. Stevens, editors, Proceedings of the 21st ACM Great Lakes Symposium on VLSI 2010, Lausanne, Switzerland, May 2-6, 2011. pages 223-228, ACM, 2011. [doi]

This author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Markus Groß' in GoogleThis author has not been identified. Look up 'Ulrich Kühne' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL