|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Modeling and formal verification of embedded systems based on a Petri net representation显示文摘 | Luis Alejandro Cortés Petru Eles Zebo Peng | 2003 | Journal of Systems Architecture2003，，12： | 1 |
| 2 | Automated transformation of algorithms into register-transfer level implementations 显示文摘 | PENG Zebo Kuehcinski K | 1994 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems1994，13，1： | 1 |
| 3 | Structural and optical properties of ZnO films grown on the AAO templates显示文摘 | Fang Zebo Wang Yinyue Peng Xinping | 2003 | Materials Letters2003，57，9： | 1 |
| 4 | Modeling and formal verifi cation of embedded systems based on a Petri net represen tation显示文摘 | Cortes L A Eles P Peng Zebo | 2003 | Journal of Systems Architecture2003，49，1215： | 1 |
| 5 | Automated transformation of algorithms into register-transfer level implementations 显示文摘 | Peng Zebo Kuchcinski K | 1994 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems1994，13，2： | 1 |
| 6 | Test Time Minimization for Hybrid BIST of Core-Based Systems显示文摘这篇论文为基于核心的系统介绍一个解决方案给测试时间最小化问题。在测试集被装配的地方,我们假定一条混合 BIST 途径,为每个核心,从在网上被产生的假散乱测试模式,;是产生 off-line 的确定的测试模式;在系统存储了。在这篇论文,我们建议一个迭代算法发现假散乱的最佳的联合;整个系统的确定的测试集,由多重核心组成在给定的记忆限制下面,以便全部的测试时间被最小化。我们的途径采用快估计方法学以便避免穷举搜索;到加速,计算处理。试验性的结果显示了算法的效率在最佳的答案附近发现。 | Gert Jervan Petru Eles Zebo Peng Raimund Ubar Maksim Jenihhin | 2006 | Journal of Computer Science & Technology2006，21，6： | 0 |
| 7 | Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip显示文摘Online testing is critical to ensuring reliable operations of the next generation of supercomputers based on a kilo-core network-on-chip(NoC)interconnection fabric.We present a parallel software-based self-testing(SBST)solution that makes use of the bounded model checking(BMC)technique to generate test sequences and parallel packets.In this method,the parallel SBST with BMC derives the leading sequence for each router’s internal function and detects all functionally-testable faults related to the function.A Monte-Carlo simulation algorithm is then used to search for the approximately optimum configuration of the parallel packets,which guarantees the test quality and minimizes the test cost.Finally,a multi-threading technology is used to ensure that the Monte-Carlo simulation can reach the approximately optimum configuration in a large random space and reduce the generating time of the parallel test.Experimental results show that the proposed method achieves a high fault coverage with a reduced test overhead.Moreover,by performing online testing in the functional mode with SBST,it effectively avoids the over-testing problem caused by functionally untestable turns in kilo-core NoCs. | 张颖 季鹏飞 朱潘玮 Zebo Peng 李华伟 江建慧 | 2023 | Journal of Computer Science & Technology2023，38，2： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员