Resource models and pre-compiler specification for hardware/software co-design language | Publicación