| 2008 |
| 107 | | Petru Eles,
Andy D. Pimentel:
Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24 October 2008
IEEE 2008 |
| 106 | EE | Min Bao,
Alexandru Andrei,
Petru Eles,
Zebo Peng:
Temperature-Aware Voltage Selection for Energy Optimization.
DATE 2008: 1083-1086 |
| 105 | EE | Petru Eles,
Viacheslav Izosimov,
Paul Pop,
Zebo Peng:
Synthesis of Fault-Tolerant Embedded Systems.
DATE 2008: 1117-1122 |
| 104 | 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 |
| 103 | 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 |
| 102 | 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 |
| 101 | EE | Min Bao,
Alexandru Andrei,
Petru Eles,
Zebo Peng:
Temperature-Aware Task Mapping for Energy Optimization with Dynamic Voltage Scaling.
DDECS 2008: 44-49 |
| 100 | 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 |
| 99 | 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) |
| 98 | 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) |
| 97 | 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) |
| 96 | 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 |
| 95 | | Samarjit Chakraborty,
Petru Eles:
Proceedings of the 2007 5th Workshop on Embedded Systems for Real-Time Multimedia, ESTImedia 2007, October 4-5, Salzburg, Austria, conjunction with CODES+ISSS 2007
IEEE 2007 |
| 94 | EE | Paul Pop,
Kåre Harbo Poulsen,
Viacheslav Izosimov,
Petru Eles:
Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems.
CODES+ISSS 2007: 233-238 |
| 93 | EE | Anders Larsson,
Erik Larsson,
Petru Eles,
Zebo Peng:
Optimized integration of test compression and sharing for SOC testing.
DATE 2007: 207-212 |
| 92 | EE | Traian Pop,
Paul Pop,
Petru Eles,
Zebo Peng:
Bus access optimisation for FlexRay-based distributed embedded systems.
DATE 2007: 51-56 |
| 91 | | Anders Larsson,
Erik Larsson,
Petru Eles,
Zebo Peng:
A Heuristic for Concurrent SOC Test Scheduling with Compression and Sharing.
DDECS 2007: 61-66 |
| 90 | EE | Daniel Karlsson,
Petru Eles,
Zebo Peng:
Transactor-based Formal Verification of Real-time Embedded Systems.
FDL 2007: 305-310 |
| 89 | EE | Erik Larsson,
Mehdi Amirijoo,
Daniel Karlsson,
Petru Eles:
What impacts course evaluation?
ITiCSE 2007: 333 |
| 88 | 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 |
| 87 | 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) |
| 86 | 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 |
| 85 | EE | Daniel Karlsson,
Petru Eles,
Zebo Peng:
Formal verification of systemc designs using a petri-net based representation.
DATE 2006: 1228-1233 |
| 84 | EE | Zhiyuan He,
Zebo Peng,
Petru Eles:
Power constrained and defect-probability driven SoC test scheduling with test set partitioning.
DATE 2006: 291-296 |
| 83 | 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 |
| 82 | EE | Sorin Manolache,
Petru Eles,
Zebo Peng:
Buffer space optimisation with communication synthesis and traffic shaping for NoCs.
DATE 2006: 718-723 |
| 81 | EE | Viacheslav Izosimov,
Paul Pop,
Petru Eles,
Zebo Peng:
Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication.
DELTA 2006: 440-447 |
| 80 | 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 |
| 79 | EE | Viacheslav Izosimov,
Paul Pop,
Petru Eles,
Zebo Peng:
Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems*.
DSD 2006: 313-322 |
| 78 | EE | Traian Pop,
Paul Pop,
Petru Eles,
Zebo Peng,
Alexandru Andrei:
Timing Analysis of the FlexRay Communication Protocol.
ECRTS 2006: 203-216 |
| 77 | 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 |
| 76 | 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) |
| 75 | 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) |
| 74 | 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) |
| 73 | 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 |
| 72 | | Petru Eles,
Axel Jantsch,
Reinaldo A. Bergamaschi:
Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2005, Jersey City, NJ, USA, September 19-21, 2005
ACM 2005 |
| 71 | EE | Anders Larsson,
Erik Larsson,
Petru Eles,
Zebo Peng:
SOC Test Scheduling with Test Set Sharing and Broadcasting.
Asian Test Symposium 2005: 162-169 |
| 70 | 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 |
| 69 | 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 |
| 68 | 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 |
| 67 | 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 |
| 66 | EE | Daniel Karlsson,
Petru Eles,
Zebo Peng:
Validation of Embedded Systems Using Formal Method Aided Simulation.
DSD 2005: 196-201 |
| 65 | EE | Dong Wu,
Bashir M. Al-Hashimi,
Marcus T. Schmitz,
Petru Eles:
Power-Composition Profile Driven Co-Synthesis with Power Management Selection for Dynamic and Leakage Energy Reduction.
DSD 2005: 34-41 |
| 64 | 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 |
| 63 | 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 |
| 62 | 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 |
| 61 | EE | Traian Pop,
Paul Pop,
Petru Eles,
Zebo Peng:
Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems.
RTCSA 2005: 67-71 |
| 60 | 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) |
| 59 | EE | Marcus T. Schmitz,
Bashir M. Al-Hashimi,
Petru Eles:
Cosynthesis of energy-efficient multimode embedded systems with consideration of mode-execution probabilities.
IEEE Trans. on CAD of Integrated Circuits and Systems 24(2): 153-169 (2005) |
| 58 | 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) |
| 2004 |
| 57 | | Alex Orailoglu,
Pai H. Chou,
Petru Eles,
Axel Jantsch:
Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004, Stockholm, Sweden, September 8-10, 2004
ACM 2004 |
| 56 | EE | Zhiyuan He,
Gert Jervan,
Zebo Peng,
Petru Eles:
Hybrid BIST Test Scheduling Based on Defect Probabilities.
Asian Test Symposium 2004: 230-235 |
| 55 | 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 |
| 54 | 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 |
| 53 | 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 |
| 52 | 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 |
| 51 | EE | Abdil Rashid Mohamed,
Zebo Peng,
Petru Eles:
A Wiring-Aware Approach to Minimizing Built-in Self-Test Overhead.
DELTA 2004: 413-415 |
| 50 | EE | Daniel Karlsson,
Petru Eles,
Zebo Peng:
A Formal Verification Methodology for IP-based Designs.
DSD 2004: 372-379 |
| 49 | EE | Abdil Rashid Mohamed,
Zebo Peng,
Petru Eles:
A Heuristic for Wiring-Aware Built-In Self-Test Synthesis.
DSD 2004: 408-415 |
| 48 | EE | Paul Pop,
Petru Eles,
Zebo Peng,
Viacheslav Izosimov:
Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems.
ECRTS 2004: 91-100 |
| 47 | EE | Daniel Karlsson,
Petru Eles,
Zebo Peng:
A Formal Verification Approach for IP-based Designs.
FDL 2004: 556-568 |
| 46 | 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 |
| 45 | 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 |
| 44 | EE | Marcus T. Schmitz,
Bashir M. Al-Hashimi,
Petru Eles:
Iterative schedule optimization for voltage scalable distributed embedded systems.
ACM Trans. Embedded Comput. Syst. 3(1): 182-217 (2004) |
| 43 | 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) |
| 42 | EE | Radu Marculescu,
Petru Eles:
Guest Editors' Introduction: Designing Real-Time Embedded Multimedia Systems.
IEEE Design & Test of Computers 21(5): 354-356 (2004) |
| 41 | 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) |
| 40 | 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 |
| 39 | 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 |
| 38 | EE | Traian Pop,
Petru Eles,
Zebo Peng:
Design optimization of mixed time/event-triggered distributed embedded systems.
CODES+ISSS 2003: 83-89 |
| 37 | EE | Dong Wu,
Bashir M. Al-Hashimi,
Petru Eles:
Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems.
DATE 2003: 10090-10095 |
| 36 | EE | Paul Pop,
Petru Eles,
Zebo Peng:
Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems.
DATE 2003: 10184-10189 |
| 35 | EE | Marcus T. Schmitz,
Bashir M. Al-Hashimi,
Petru Eles:
A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities.
DATE 2003: 10960-10965 |
| 34 | 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- |
| 33 | 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 |
| 32 | EE | Traian Pop,
Petru Eles,
Zebo Peng:
Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems.
ECRTS 2003: 257-266 |
| 31 | EE | Paul Pop,
Petru Eles,
Zebo Peng:
Schedulability-driven frame packing for multi-cluster distributed embedded systems.
LCTES 2003: 113-122 |
| 30 | 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 |
| 29 | EE | Traian Pop,
Petru Eles,
Zebo Peng:
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems.
CODES 2002: 187-192 |
| 28 | 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 |
| 27 | EE | Marcus T. Schmitz,
Bashir M. Al-Hashimi,
Petru Eles:
Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems.
DATE 2002: 514-521 |
| 26 | EE | Sorin Manolache,
Petru Eles,
Zebo Peng:
Schedulability analysis of multiprocessor real-time applications with stochastic task execution times.
ICCAD 2002: 699-706 |
| 25 | EE | Petru Eles,
Zebo Peng,
Daniel Karlsson:
Formal Verification in a Component-Based Reuse Methodology.
ISSS 2002: 156-161 |
| 2001 |
| 24 | EE | Paul Pop,
Petru Eles,
Traian Pop,
Zebo Peng:
Minimizing system modification in an incremental design approach.
CODES 2001: 183-188 |
| 23 | EE | Paul Pop,
Petru Eles,
Traian Pop,
Zebo Peng:
An Approach to Incremental Design of Distributed Embedded Systems.
DAC 2001: 450-455 |
| 22 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Hierarchical Modeling and Verification of Embedded Systems.
DSD 2001: 63-71 |
| 21 | EE | Sorin Manolache,
Petru Eles,
Zebo Peng:
Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time.
ECRTS 2001: 19- |
| 20 | EE | Peter Nilsson,
Petru Eles,
Hannu Tenhunen:
SOCWARE: A New Swedish Design Cluster for System-on-Chip.
MSE 2001: 44-45 |
| 2000 |
| 19 | EE | Paul Pop,
Petru Eles,
Zebo Peng:
Performance estimation for embedded systems with data and control dependencies.
CODES 2000: 62-66 |
| 18 | EE | Paul Pop,
Petru Eles,
Zebo Peng:
Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis.
DATE 2000: 567- |
| 17 | EE | Paul Pop,
Petru Eles,
Zebo Peng:
Schedulability analysis for systems with data and control dependencies.
ECRTS 2000: 201-208 |
| 16 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Formal Coverification of Embedded Systems Using Model Checking.
EUROMICRO 2000: 1106-1113 |
| 15 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Definitions of Equivalence for Transformational Synthesis of Embedded Systems.
ICECCS 2000: 134-142 |
| 14 | 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- |
| 13 | EE | Luis Alejandro Cortés,
Petru Eles,
Zebo Peng:
Verification of Embedded Systems using a Petri Net based Representation.
ISSS 2000: 149-156 |
| 12 | 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 |
| 11 | EE | Paul Pop,
Petru Eles,
Zebo Peng:
Scheduling with optimized communication for time-triggered embedded systems.
CODES 1999: 178-182 |
| 10 | EE | Paul Pop,
Petru Eles,
Zebo Peng:
An Improved Scheduling Technique for Time-Triggered Embedded Systems.
EUROMICRO 1999: 1303-1310 |
| 9 | EE | Paul Pop,
Petru Eles,
Zebo Peng:
Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems.
RTCSA 1999: 287-294 |
| 1998 |
| 8 | 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- |
| 7 | 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- |
| 1996 |
| 6 | 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 |
| 5 | EE | Petru Eles,
Zebo Peng,
Krzysztof Kuchcinski,
Alex Doboli:
Hardware/Software Partitioning with Iterative Improvement Heuristics.
ISSS 1996: 71-76 |
| 4 | EE | Petru Eles,
Krzysztof Kuchcinski,
Zebo Peng:
Synthesis of systems specified as interacting VHDL processes.
Integration 21(1-2): 113-138 (1996) |
| 1995 |
| 3 | EE | Petru Eles,
Krzysztof Kuchcinski,
Zebo Peng,
Alexa Doboli:
Timing constraint specification and synthesis in behavioral VHDL.
EURO-DAC 1995: 452-457 |
| 1994 |
| 2 | EE | Petru Eles,
Zebo Peng,
Alexa Doboli:
VHDL system-level specification and partitioning in a hardware/software co-synthesis environment.
CODES 1994: 49-55 |
| 1 | EE | Petru Eles,
Marius Minea,
Krzysztof Kuchcinski,
Zebo Peng:
Synthesis of VHDL concurrent processes.
EURO-DAC 1994: 540-545 |