Teaching Hardware Description and Verification

Authors:
Affiliations:
Venue:
MSE '05 Proceedings of the 2005 IEEE International Conference on Microelectronic Systems Education
Year:
2005

Citing 0
Cited 3

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification

TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Introducing Kansas lava

IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Functional and dynamic programming in the design of parallel prefix networks

Journal of Functional Programming

Quantified Score

Hi-index	0.01

Visualization

Abstract