Function Interface Models for Hardware Compilation

Dan Ghica

doi:10.1109/MEMCOD.2011.5970519

Function Interface Models for Hardware Compilation

Dan Ghica

Computer Science

Research output: Contribution to conference (unpublished) › Paper

9 Citations (Scopus)

Original language	English
Pages	131-142
Number of pages	12
DOIs	https://doi.org/10.1109/MEMCOD.2011.5970519
Publication status	Published - 13 Jul 2011
Event	Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE2011) - Duration: 13 Jul 2011 → …

Conference

Conference	Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE2011)
Period	13/07/11 → …

Access to Document

10.1109/MEMCOD.2011.5970519

Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification
Ghica, D.
Engineering & Physical Science Research Council
1/07/06 → 30/06/11
Project: Research Councils

Cite this

@conference{9b73bbb833a14c18848e8ef099726855,

title = "Function Interface Models for Hardware Compilation",

author = "Dan Ghica",

year = "2011",

month = jul,

day = "13",

doi = "10.1109/MEMCOD.2011.5970519",

language = "English",

pages = "131--142",

note = "Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE2011) ; Conference date: 13-07-2011",

}

Function Interface Models for Hardware Compilation

Conference

Access to Document

Projects

Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification

Cite this