2003 |
6 | | Haifeng Zhou,
Wei Cao,
Zhenghui Lin:
Formal semantics analysis for VHDL RTL synthesis.
Comput. Syst. Sci. Eng. 18(6): 357-371 (2003) |
5 | | Haifeng Zhou,
Zhenghui Lin,
Wei Cao:
High-Level Technology Mapping for Memories.
Computers and Artificial Intelligence 22(5): (2003) |
4 | | Junming Lu,
Zhenghui Lin:
Deliberation with "fast full-search block matching".
IEEE Trans. Circuits Syst. Video Techn. 13(1): 97- (2003) |
3 | EE | Haifeng Zhou,
Zhenghui Lin,
Wei Cao:
ILP method for memory mapping in high-level synthesis.
Microelectronics Reliability 43(7): 1163-1167 (2003) |
2002 |
2 | EE | Haifeng Zhou,
Zhenghui Lin,
Wei Cao:
Research on VHDL RTL Synthesis System.
DELTA 2002: 99-103 |
1 | EE | Zongwei Lu,
Zhenghui Lin,
Houpeng Chen:
Variables Bounding Based Retiming Algorithm.
J. Comput. Sci. Technol. 17(6): 797-806 (2002) |