A flexible specification framework for hardware-software codesign | Publicación