Qin, S., He, J., Qiu, Z., Zhang, N., George, C., Miao, H., "Hardware/Software Partitioning in Verilog", , 2002