Leys, Richard Donald Sylvère (2015) Raising the abstraction level of hardware software co-designs. [Dissertation]