Shen Haihua

发表

A Coverage Directed Test Generation Platform for Microprocessors Using Genetic Approach

Shen Haihua, Wang Pengyu, Wei Wenli, 2009 .

Simulation Acceleration for Dynamic Timing Analysis with Static Timing Analysis

Shen Haihua, Ma Lin, Hu Weiwu, 2006, TENCON 2006 - 2006 IEEE Region 10 Conference.

A 2D-Cache Based Memory Bandwidth Optimization Method for H.264 Motion Compensation

Shen Haihua, Wang Wenxiang, Zhang Guangfei, 2012 .

Reversed Automatic Generation of Visualized Class Diagram of Object-Oriented Program

Liu Chao, Shen Haihua, Li Jian, 1998 .

Functional verificationenvironment for ATA controllerbased ontransactionlevel modeling

Shen Haihua, 2008 .

Design and implementation of IP-reused AMBA AXI bus verification platform

Shen Haihua, 2008 .

Function Verification of Godson-2 Processor

Shen Haihua, Zhang Heng, 2006 .

Functional Coverage Verification of Godson2 PCI Bridge

Shen Haihua, 2006 .

Formal Verification of Godson-2 Microprocessor Floating-Point Division Unit

Ma Lin, Shen Haihua, Chen Yunji, 2006 .

Survey of Design-for-Debug of VLSI

Shen Haihua, Chen Yunji, Qian Cheng, 2012 .

Analysis of current grassland resourcesin China

Shen Haihua, Zhao Xia, Fang Jingyun, 2015 .