An Automated Framework for Correction and Debug of PSL Assertions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brian Keng, Andreas G. Veneris, Sean Safarpour. An Automated Framework for Correction and Debug of PSL Assertions. In Magdy S. Abadir, Jay Bhadra, Li-C. Wang, editors, 11th International Workshop on Microprocessor Test and Verification, MTV 2010, Austin, TX, USA, December 13-15, 2010. pages 9-12, IEEE, 2010. [doi]

This author has not been identified. Look up 'Brian Keng' in GoogleThis author has not been identified. Look up 'Andreas G. Veneris' in GoogleThis author has not been identified. Look up 'Sean Safarpour' in Google

runs on WebDSL