A flexible specification framework for hardware-software codesign (poster paper) | Publicación