Raising the abstraction level of hardware software co-designs - Leys, Richard (2015)