Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sven Beyer, Christian Jacobi 0002, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul. Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. In Daniel Geist, Enrico Tronci, editors, Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003, Proceedings. Volume 2860 of Lecture Notes in Computer Science, pages 51-65, Springer, 2003. [doi]

This author has not been identified. Look up 'Sven Beyer' in GoogleThis author has not been identified. Look up 'Christian Jacobi 0002' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Dirk Leinenbach' in GoogleThis author has not been identified. Look up 'Wolfgang J. Paul' in Google

runs on WebDSL