| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 4 |      | Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang: Optimizing equivalence checking for behavioral synthesis. DATE 2010: 1500-1505 |
| 2009 | ||
| 3 | | Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang: Formal Verification for High-Assurance Behavioral Synthesis. ATVA 2009: 337-351 |
| 2 | | Kecheng Hao, Fei Xie: Componentizing hardware/software interface design. DATE 2009: 232-237 |
| 2007 | ||
| 1 | | Ping Hang Cheung, Kecheng Hao, Fei Xie: Component-Based Hardware/Software Co-Simulation. DSD 2007: 265-270 |
| 1 | Yan Chen | [3] |
| 2 | Ping Hang Cheung | [1] |
| 3 | Sandip Ray | [3] [4] |
| 4 | Fei Xie | [1] [2] [3] [4] |
| 5 | Jin Yang | [3] [4] |
Data released under the ODC-BY 1.0 license — See also our legal information page