Treffer: Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications
Title:
Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications
Authors:
Source:
36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the Systems sciences System Sciences, 2003. Proceedings of the 36th Annual Hawaii International Conference on. :11 pp. 2003
Relation:
36th Hawaii International Conference on Systems Sciences
Database:
IEEE Xplore Digital Library