Zhe Li

Profile

A specialist in VLSI design verification, a generalist in design automation and UNIX software.

EXPERIENCE

• VLSI verification engineer 1996-1997 IBM S/390 Division, Poughkeepsie, NY

Responsible for verifying the biggest new feature and many other features of a 400 MHz CMOS microprocessor in a complete pass. Developed deterministic and randomly generated test cases, analyzed simulation failures, improved the cycle-based simulation environment for easier stimulus application and result checking, investigated applications of formal verification.

• UNIX system software developer 1995-1996 IBM RS/6000 Division, Poughkeepsie, NY

In charge of quality assurance of a client-server product for batch scheduling on multi-platform workstation clusters. Significantly improved the product quality. Established an infrastructure to maintain the quality for all future releases. Managed network and machines. Wrote code using C, C++, Korn shell, perl, awk, sed, etc.

• CAD software developer 1993-1995

IBM Microelectronics Division, Poughkeepsie, NY Led a team of software engineers in developing a second generation formal verification tool used by average engineers. Designed, coded and fixed most key functions. Planned future directions. Coordinated customer relationships. Successfully replaced the predecessor in all major IBM hardware development labs. Coded in SKILL to start integrating in Cadence environment.

• CAD engineer 1991-1993 IBM PC Company, Boca Raton, FL

Played a key role in introducing Synopsys synthesis and simulation tools to IBM PC Company. Educated and supported ASIC designers on a daily basis. Automated the transition from the internal tools set, led the development of translators for migrating from various proprietary languages to VHDL. Achieved the first migration to commercial EDA tools set for an entire IBM hardware development lab.

• Graduate research assistant 1987-1991 Syracuse University, Syracuse, NY

Studied all formal verification methods with focus on automated applications in industrial environment. Developed a spectrum of effiecient algorithms, and applied in verification, logic optimization and automatic test pattern generation.

• Graduate research assistant 1984-1987 various places.

Artificial intelligence, image processing, VLSI physical design, database, expert systems, object-oriented programming, Lisp, Prolog, commercial statistics software development in C.

EDUCATION

• Certificate of Completion, Entrepreneur Institute, Dutchess Community College, 1995 (including business planning, management, marketing, sales, business law, accounting, financing, tax, etc.)
  
  
• Ph.D. Computer Engineering, Syracuse University, 1991.
  
  
• M.S. Computer Engineering, Syracuse University, 1987.
  
  
• B.S. Electrical Engineering, University of Science and Technology of China, 1984.
  

Family

Wife:

Kids:

Mailing Address:

1 Argent Drive
Poughkeepsie, NY 12603

Email address:

zjli@technologist.com

Phone:

(914)-298-8342

Fax:

?

Page under construction