Towards a declarative framework for hardware-software codesign. - Wayne Luk; Teddy Wu (CODES, 1994)