Just-in-Time Verification in ADL-based processor design

Dominik Auras, Andreas Minwegen, Uwe Deidersen. Just-in-Time Verification in ADL-based processor design. In 2012 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XII, Samos, Greece, July 16-19, 2012. pages 1-6, IEEE, 2012. [doi]

Authors

Dominik Auras

This author has not been identified. Look up 'Dominik Auras' in Google

Andreas Minwegen

This author has not been identified. Look up 'Andreas Minwegen' in Google

Uwe Deidersen

This author has not been identified. Look up 'Uwe Deidersen' in Google