2008 | ||
---|---|---|
126 | EE | Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng: Temperature-Aware Voltage Selection for Energy Optimization. DATE 2008: 1083-1086 |
125 | EE | Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Peng: Synthesis of Fault-Tolerant Embedded Systems. DATE 2008: 1117-1122 |
124 | EE | Anders Larsson, Erik Larsson, Krishnendu Chakrabarty, Petru Eles, Zebo Peng: Test-Architecture Optimization and Test Scheduling for SOCs with Core-Level Expansion of Compressed Test Patterns. DATE 2008: 188-193 |
123 | EE | Soheil Samii, Sergiu Rafiliu, Petru Eles, Zebo Peng: A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems. DATE 2008: 556-561 |
122 | EE | Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng: Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints. DATE 2008: 915-920 |
121 | EE | Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng: Temperature-Aware Task Mapping for Energy Optimization with Dynamic Voltage Scaling. DDECS 2008: 44-49 |
120 | EE | Alexandru Andrei, Petru Eles, Zebo Peng, Jakob Rosen: Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. VLSI Design 2008: 103-110 |
119 | EE | Sorin Manolache, Petru Eles, Zebo Peng: Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints. ACM Trans. Embedded Comput. Syst. 7(2): (2008) |
118 | EE | Soheil Samii, Mikko Selkälä, Erik Larsson, Krishnendu Chakrabarty, Zebo Peng: Cycle-Accurate Test Power Modeling and Its Application to SoC Test Architecture Design and Scheduling. IEEE Trans. on CAD of Integrated Circuits and Systems 27(5): 973-977 (2008) |
117 | EE | Traian Pop, Paul Pop, Petru Eles, Zebo Peng: Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems. International Journal of Parallel Programming 36(1): 37-67 (2008) |
116 | EE | Zhiyuan He, Zebo Peng, Petru Eles, Paul M. Rosinger, Bashir M. Al-Hashimi: Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving. J. Electronic Testing 24(1-3): 247-257 (2008) |
115 | EE | Erik Larsson, Zebo Peng: A Reconfigurable Power Conscious Core Wrapper and its Application to System-on-Chip Test Scheduling. J. Electronic Testing 24(5): 497-504 (2008) |
114 | EE | Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei: Timing analysis of the FlexRay communication protocol. Real-Time Systems 39(1-3): 205-235 (2008) |
2007 | ||
113 | EE | Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng: Optimized integration of test compression and sharing for SOC testing. DATE 2007: 207-212 |
112 | EE | Traian Pop, Paul Pop, Petru Eles, Zebo Peng: Bus access optimisation for FlexRay-based distributed embedded systems. DATE 2007: 51-56 |
111 | Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng: A Heuristic for Concurrent SOC Test Scheduling with Compression and Sharing. DDECS 2007: 61-66 | |
110 | EE | Daniel Karlsson, Petru Eles, Zebo Peng: Transactor-based Formal Verification of Real-time Embedded Systems. FDL 2007: 305-310 |
109 | EE | Jakob Rosen, Alexandru Andrei, Petru Eles, Zebo Peng: Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. RTSS 2007: 49-60 |
108 | EE | Alexandru Andrei, Petru Eles, Zebo Peng, Marcus T. Schmitz, Bashir M. Al-Hashimi: Energy Optimization of Multiprocessor Systems on Chip by Voltage Selection. IEEE Trans. VLSI Syst. 15(3): 262-275 (2007) |
107 | EE | Sorin Manolache, Petru Eles, Zebo Peng: Fault-aware Communication Mapping for NoCs with Guaranteed Latency. International Journal of Parallel Programming 35(2): 125-156 (2007) |
2006 | ||
106 | EE | Daniel Karlsson, Petru Eles, Zebo Peng: Formal verification of systemc designs using a petri-net based representation. DATE 2006: 1228-1233 |
105 | EE | Zhiyuan He, Zebo Peng, Petru Eles: Power constrained and defect-probability driven SoC test scheduling with test set partitioning. DATE 2006: 291-296 |
104 | EE | Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng: Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems. DATE 2006: 706-711 |
103 | EE | Sorin Manolache, Petru Eles, Zebo Peng: Buffer space optimisation with communication synthesis and traffic shaping for NoCs. DATE 2006: 718-723 |
102 | EE | Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng: Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication. DELTA 2006: 440-447 |
101 | EE | Zhiyuan He, Zebo Peng, Petru Eles, Paul M. Rosinger, Bashir M. Al-Hashimi: Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving. DFT 2006: 477-485 |
100 | EE | Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng: Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems*. DSD 2006: 313-322 |
99 | EE | Tomas Bengtsson, Artur Jutman, Shashi Kumar, Raimund Ubar, Zebo Peng: Off-Line Testing of Delay Faults in NoC Interconnects. DSD 2006: 677-680 |
98 | EE | Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei: Timing Analysis of the FlexRay Communication Protocol. ECRTS 2006: 203-216 |
97 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: A Quasi-Static Approach to Minimizing Energy Consumption in Real-Time Systems under Reward Constraints. RTCSA 2006: 279-286 |
96 | EE | Paul Pop, Petru Eles, Zebo Peng, Traian Pop: Analysis and optimization of distributed real-time embedded systems. ACM Trans. Design Autom. Electr. Syst. 11(3): 593-625 (2006) |
95 | EE | Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng: Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. ACM Trans. Embedded Comput. Syst. 5(1): 54-81 (2006) |
94 | EE | Erik Larsson, Zebo Peng: Power-Aware Test Planning in the Early System-on-Chip Design Exploration Process. IEEE Trans. Computers 55(2): 227-239 (2006) |
93 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems With Energy Considerations. IEEE Trans. VLSI Syst. 14(10): 1117-1129 (2006) |
92 | EE | Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin: Test Time Minimization for Hybrid BIST of Core-Based Systems. J. Comput. Sci. Technol. 21(6): 907-912 (2006) |
2005 | ||
91 | EE | Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng: SOC Test Scheduling with Test Set Sharing and Broadcasting. Asian Test Symposium 2005: 162-169 |
90 | EE | Sorin Manolache, Petru Eles, Zebo Peng: Fault and energy-aware communication mapping with guaranteed latency for applications implemented on NoC. DAC 2005: 266-269 |
89 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints. DAC 2005: 889-894 |
88 | EE | Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi: Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints. DATE 2005: 514-519 |
87 | EE | Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng: Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems. DATE 2005: 864-869 |
86 | EE | Daniel Karlsson, Petru Eles, Zebo Peng: Validation of Embedded Systems Using Formal Method Aided Simulation. DSD 2005: 196-201 |
85 | EE | Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng: Optimization of a Bus-based Test Data Transportation Mechanism in System-on-Chip. DSD 2005: 403-411 |
84 | EE | Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles: Power-Constrained Hybrid BIST Test Scheduling in an Abort-on-First-Fail Test Environment. DSD 2005: 83-87 |
83 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks. RTCSA 2005: 422-428 |
82 | EE | Traian Pop, Paul Pop, Petru Eles, Zebo Peng: Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems. RTCSA 2005: 67-71 |
81 | EE | Paul Pop, Petru Eles, Zebo Peng: Schedulability-driven frame packing for multicluster distributed embedded systems. ACM Trans. Embedded Comput. Syst. 4(1): 112-140 (2005) |
80 | EE | Abdil Rashid Mohamed, Zebo Peng, Petru Eles: A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead. J. Comput. Sci. Technol. 20(2): 216-223 (2005) |
79 | EE | Julien Pouget, Erik Larsson, Zebo Peng: Multiple-Constraint Driven System-on-Chip Test Time Optimization. J. Electronic Testing 21(6): 599-611 (2005) |
78 | EE | Erik Larsson, Julien Pouget, Zebo Peng: Abort-on-Fail Based Test Scheduling. J. Electronic Testing 21(6): 651-658 (2005) |
2004 | ||
77 | EE | Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles: Hybrid BIST Test Scheduling Based on Defect Probabilities. Asian Test Symposium 2004: 230-235 |
76 | EE | Paul Pop, Petru Eles, Zebo Peng, Viacheslav Izosimov, Magnus Hellring, Olof Bridal: Design Optimization of Multi-Cluster Embedded Systems for Real-Time Application. DATE 2004: 1027-1033 |
75 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks. DATE 2004: 1176-1183 |
74 | EE | Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi: Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems. DATE 2004: 518-525 |
73 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks. DELTA 2004: 115-120 |
72 | EE | Abdil Rashid Mohamed, Zebo Peng, Petru Eles: A Wiring-Aware Approach to Minimizing Built-in Self-Test Overhead. DELTA 2004: 413-415 |
71 | EE | Daniel Karlsson, Petru Eles, Zebo Peng: A Formal Verification Methodology for IP-based Designs. DSD 2004: 372-379 |
70 | EE | Abdil Rashid Mohamed, Zebo Peng, Petru Eles: A Heuristic for Wiring-Aware Built-In Self-Test Synthesis. DSD 2004: 408-415 |
69 | EE | Paul Pop, Petru Eles, Zebo Peng, Viacheslav Izosimov: Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems. ECRTS 2004: 91-100 |
68 | EE | Daniel Karlsson, Petru Eles, Zebo Peng: A Formal Verification Approach for IP-based Designs. FDL 2004: 556-568 |
67 | EE | Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi: Simultaneous communication and processor voltage scaling for dynamic and leakage energy reduction in time-constrained systems. ICCAD 2004: 362-369 |
66 | EE | Sorin Manolache, Petru Eles, Zebo Peng: Optimization of Soft Real-Time Systems with Deadline Miss Ratio Constraints. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 562-570 |
65 | EE | Erik Larsson, Julien Pouget, Zebo Peng: Defect-Aware SOC Test Scheduling. VTS 2004: 361-366 |
64 | EE | Sorin Manolache, Petru Eles, Zebo Peng: Schedulability analysis of applications with stochastic task execution times. ACM Trans. Embedded Comput. Syst. 3(4): 706-735 (2004) |
63 | EE | Paul Pop, Petru Eles, Zebo Peng, Traian Pop: Scheduling and mapping in an incremental design methodology for distributed real-time embedded systems. IEEE Trans. VLSI Syst. 12(8): 793-811 (2004) |
62 | EE | Erik Larsson, Klas Arvidsson, Hideo Fujiwara, Zebo Peng: Efficient test solutions for core-based designs. IEEE Trans. on CAD of Integrated Circuits and Systems 23(5): 758-775 (2004) |
61 | EE | Paul Pop, Petru Eles, Zebo Peng: Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. Real-Time Systems 26(3): 297-325 (2004) |
2003 | ||
60 | EE | Julien Pouget, Erik Larsson, Zebo Peng: SOC Test Time Minimization Under Multiple Constraints. Asian Test Symposium 2003: 312-317 |
59 | EE | Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin: Test Time Minimization for Hybrid BIST of Core-Based Systems. Asian Test Symposium 2003: 318-325 |
58 | EE | Traian Pop, Petru Eles, Zebo Peng: Design optimization of mixed time/event-triggered distributed embedded systems. CODES+ISSS 2003: 83-89 |
57 | EE | Paul Pop, Petru Eles, Zebo Peng: Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems. DATE 2003: 10184-10189 |
56 | EE | Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin: Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture. DFT 2003: 225- |
55 | EE | Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng: Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip. DFT 2003: 385-392 |
54 | EE | Traian Pop, Petru Eles, Zebo Peng: Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems. ECRTS 2003: 257-266 |
53 | EE | Erik Larsson, Zebo Peng: A Reconfigurable Power-Conscious Core Wrapper and its Application to SOC Test Scheduling. ITC 2003: 1135-1144 |
52 | EE | Paul Pop, Petru Eles, Zebo Peng: Schedulability-driven frame packing for multi-cluster distributed embedded systems. LCTES 2003: 113-122 |
51 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: Modeling and formal verification of embedded systems based on a Petri net representation. Journal of Systems Architecture 49(12-15): 571-598 (2003) |
2002 | ||
50 | EE | Erik Larsson, Klas Arvidsson, Hideo Fujiwara, Zebo Peng: Integrated Test Scheduling, Test Parallelization and TAMDesign. Asian Test Symposium 2002: 397-404 |
49 | EE | Traian Pop, Petru Eles, Zebo Peng: Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. CODES 2002: 187-192 |
48 | EE | Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng: Symbolic model checking of Dual Transition Petri Nets. CODES 2002: 43-48 |
47 | EE | André Schneider, Karl-Heinz Diener, Eero Ivask, Raimund Ubar, Elena Gramatová, Thomas Hollstein, Wieslaw Kuzmicz, Zebo Peng: Integrated Design and Test Generation Under Internet Based Environment MOSCITO. DSD 2002: 187-195 |
46 | EE | Sorin Manolache, Petru Eles, Zebo Peng: Schedulability analysis of multiprocessor real-time applications with stochastic task execution times. ICCAD 2002: 699-706 |
45 | EE | Gert Jervan, Zebo Peng, Raimund Ubar, Helena Kruus: A Hybrid BIST Architecture and Its Optimization for SoC Testing. ISQED 2002: 273-279 |
44 | EE | Petru Eles, Zebo Peng, Daniel Karlsson: Formal Verification in a Component-Based Reuse Methodology. ISSS 2002: 156-161 |
43 | EE | Erik Larsson, Zebo Peng: An Integrated Framework for the Design and Optimization of SOC Test Solutions. J. Electronic Testing 18(4-5): 385-400 (2002) |
2001 | ||
42 | EE | Erik Larsson, Zebo Peng: Test Scheduling and Scan-Chain Division under Power Constraint. Asian Test Symposium 2001: 259-264 |
41 | EE | Paul Pop, Petru Eles, Traian Pop, Zebo Peng: Minimizing system modification in an incremental design approach. CODES 2001: 183-188 |
40 | EE | Paul Pop, Petru Eles, Traian Pop, Zebo Peng: An Approach to Incremental Design of Distributed Embedded Systems. DAC 2001: 450-455 |
39 | EE | Erik Larsson, Zebo Peng: An integrated system-on-chip test framework. DATE 2001: 138-144 |
38 | EE | Raimund Ubar, Artur Jutman, Zebo Peng: Timing simulation of digital circuits with binary decision diagrams. DATE 2001: 460-466 |
37 | EE | Elmet Orasson, Rein Raidma, Raimund Ubar, Gert Jervan, Zebo Peng: Fast Test Cost Calculation for Hybrid BIST in Digital Systems. DSD 2001: 318-325 |
36 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: Hierarchical Modeling and Verification of Embedded Systems. DSD 2001: 63-71 |
35 | EE | Sorin Manolache, Petru Eles, Zebo Peng: Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. ECRTS 2001: 19- |
34 | EE | Erik Larsson, Zebo Peng, Gunnar Carlsson: The Design and Optimization of SOC Test Solutions. ICCAD 2001: 523-530 |
2000 | ||
33 | EE | Paul Pop, Petru Eles, Zebo Peng: Performance estimation for embedded systems with data and control dependencies. CODES 2000: 62-66 |
32 | EE | Paul Pop, Petru Eles, Zebo Peng: Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis. DATE 2000: 567- |
31 | EE | Gert Jervan, Zebo Peng, Raimund Ubar: Test Cost Minimization for Hybrid Bist. DFT 2000: 283-291 |
30 | EE | Paul Pop, Petru Eles, Zebo Peng: Schedulability analysis for systems with data and control dependencies. ECRTS 2000: 201-208 |
29 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: Formal Coverification of Embedded Systems Using Model Checking. EUROMICRO 2000: 1106-1113 |
28 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: Definitions of Equivalence for Transformational Synthesis of Embedded Systems. ICECCS 2000: 134-142 |
27 | EE | Razvan Jigorea, Sorin Manolache, Petru Eles, Zebo Peng: Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML. ISORC 2000: 210- |
26 | EE | Luis Alejandro Cortés, Petru Eles, Zebo Peng: Verification of Embedded Systems using a Petri Net based Representation. ISSS 2000: 149-156 |
25 | EE | Petru Eles, Alex Doboli, Paul Pop, Zebo Peng: Scheduling with bus access optimization for distributed embedded systems. IEEE Trans. VLSI Syst. 8(5): 472-491 (2000) |
1999 | ||
24 | EE | Paul Pop, Petru Eles, Zebo Peng: Scheduling with optimized communication for time-triggered embedded systems. CODES 1999: 178-182 |
23 | EE | Paul Pop, Petru Eles, Zebo Peng: An Improved Scheduling Technique for Time-Triggered Embedded Systems. EUROMICRO 1999: 1303-1310 |
22 | EE | Paul Pop, Petru Eles, Zebo Peng: Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. RTCSA 1999: 287-294 |
21 | EE | Laurence Tianruo Yang, Zebo Peng: Incremental Testability Analysis for Partial Scan Selection and Design Transformations. J. Electronic Testing 14(1-2): 103-113 (1999) |
1998 | ||
20 | EE | Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli, Paul Pop: Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems. DATE 1998: 132- |
19 | EE | Laurence Tianruo Yang, Zebo Peng: An Efficient Algorithm to Integrate Scheduling and Allocation in High-Level Test Synthesis. DATE 1998: 74-81 |
18 | EE | Laurence Tianruo Yang, Zebo Peng: An Improved Register-Transfer Level Functional Partitioning Approach for Testability. EUROMICRO 1998: 10107- |
17 | EE | Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli, Paul Pop: Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems. EUROMICRO 1998: 10168- |
16 | EE | Jonas Hallberg, Zebo Peng: Estimation and Consideration of Interconnection Delays during High-Level Synthesis. EUROMICRO 1998: 10349-10356 |
1997 | ||
15 | EE | Xinli Gu, Erik Larsson, Krzysztof Kuchcinski, Zebo Peng: A controller testability analysis and enhancement technique. ED&TC 1997: 153-157 |
14 | Erik Stoy, Zebo Peng: Inter-domain movement of functionality as a repartitioning strategy for hardware/software co-design. Journal of Systems Architecture 43(1-5): 87-98 (1997) | |
1996 | ||
13 | EE | Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng: Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis. EUROMICRO 1996: 185-192 |
12 | EE | Petru Eles, Zebo Peng, Krzysztof Kuchcinski, Alex Doboli: Hardware/Software Partitioning with Iterative Improvement Heuristics. ISSS 1996: 71-76 |
11 | EE | Petru Eles, Krzysztof Kuchcinski, Zebo Peng: Synthesis of systems specified as interacting VHDL processes. Integration 21(1-2): 113-138 (1996) |
1995 | ||
10 | EE | Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli: Timing constraint specification and synthesis in behavioral VHDL. EURO-DAC 1995: 452-457 |
9 | Xinli Gu, Krzysztof Kuchcinski, Zebo Peng: An Efficient and Economic Partitioning Approach for Testability. ITC 1995: 403-412 | |
1994 | ||
8 | EE | Petru Eles, Zebo Peng, Alexa Doboli: VHDL system-level specification and partitioning in a hardware/software co-synthesis environment. CODES 1994: 49-55 |
7 | EE | Petru Eles, Marius Minea, Krzysztof Kuchcinski, Zebo Peng: Synthesis of VHDL concurrent processes. EURO-DAC 1994: 540-545 |
6 | EE | Xinli Gu, Krzysztof Kuchcinski, Zebo Peng: Testability analysis and improvement from VHDL behavioral specifications. EURO-DAC 1994: 644-649 |
5 | Erik Stoy, Zebo Peng: An Integrated Modelling Technique for Hardware/Software Systems. ISCAS 1994: 399-402 | |
4 | EE | Zebo Peng, Krzysztof Kuchcinski: Automated transformation of algorithms into register-transfer level implementations. IEEE Trans. on CAD of Integrated Circuits and Systems 13(2): 150-166 (1994) |
1988 | ||
3 | Zebo Peng: Semantics of a Parallel Computation Model and its Applications in Digital Hardware Design. ICPP (1) 1988: 69-73 | |
1986 | ||
2 | EE | Zebo Peng: Synthesis of VLSI systems with the CAMAD design aid. DAC 1986: 278-284 |
1 | Zebo Peng: Construction of Asynchronous Concurrent Systems from their Behavioral Specifications. IFIP Congress 1986: 859-864 |