Naiyong Jin Jifeng He Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. 132-141 2004 conf/sefm/2004 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.38 db/conf/sefm/sefm2004.html#NaiyongJ04