Welcome to Zhenkun Yang's Website

Zhenkun Yang

Pic Ph.D Student

Computer Science Department
Portland State University

1900 SW 4th Avenue
Portland, Oregon 97201, USA

e-mail: zhenkun<at>cs.pdx.edu


Research Interests:


  1. Scalable Certification Framework for Behavioral Synthesis Front-End.
    Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie.
    To Appear in 51st Design Automation Conference (DAC' 14), San Francisco, CA, USA, June 2014.
  2. Coverage Evaluation of Post-silicon Validation Tests with Virtual Prototypes.
    Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie.
    In Proceedings of Design, Automation and Test in Europe (DATE'14), Dresden, Germany, March 2014.
  3. Compiler Transformation Validation in Behavioral Synthesis.
    Zhenkun Yang.
    Student Forum (poster + 5 minutes talk) of International Conference on Formal Methods in Computer-aided Design (FMCAD'13), Portland, OR, USA, October 2013.
  4. Equivalence Checking for Compiler Transformations in Behavioral Synthesis. (PDF)
    Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie.
    In Proceedings of 31st IEEE International Conference on Computer Design (ICCD'13), Asheville, NC, USA, October 2013.
  5. Handling Design and Implementation Optimizations in Equivalence Checking for Behavioral Synthesis. (PDF)
    Zhenkun Yang, Kecheng Hao, Sandip Ray, and Fei Xie.
    In Proceedings of Design Automation Conference (DAC'13), Austin, TX, USA, June 2013.
  6. Automated Synthesis of Passive Analog Filters Using Graph Representation.
    Zhaohui Gan, Zhenkun Yang, Tianyou Yu, and Min Jiang.
    Expert Systems With Applications, 37(3), 1887-1898, March, 2010.
  7. Automatic Synthesis of Practical Passive Filters Using Clonal Selection Principle-Based Gene Expression Programming.
    Zhaohui Gan, Zhenkun Yang, Gaobin Li, and Min Jiang.
    In the 7th International Conference on Evolvable Systems: From Biology To Hardware (ICES'07), Wuhan, China, 2007.

Date: 2014-04-17T17:32-0700

Validate XHTML 1.0