Sökning: "Zebo Peng"
Visar resultat 6 - 10 av 39 avhandlingar innehållade orden Zebo Peng.
6. Testing and Logic Optimization Techniques for Systems on Chip
Sammanfattning : Today it is possible to integrate more than one billion transistors onto a single chip. This has enabled implementation of complex functionality in hand held gadgets, but handling such complexity is far from trivial. The challenges of handling this complexity are mostly related to the design and testing of the digital components of these chips. LÄS MER
7. A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems
Sammanfattning : Embedded systems are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness. LÄS MER
8. Verification and Scheduling Techniques for Real-Time Embedded Systems
Sammanfattning : Embedded computer systems have become ubiquitous. They are used in a wide spectrum of applications, ranging from household appliances and mobile devices to vehicle controllers and medical equipment. LÄS MER
9. Parameterized Verification of Synchronized Concurrent Programs
Sammanfattning : There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of processes. Sometimes, violation of the correctness properties in such systems causes human or resource losses; therefore, it is crucial to check the correctness of such systems. LÄS MER
10. System-on-Chip test scheduling with defect-probability and temperature considerations
Sammanfattning : Electronic systems have become highly complex, which results in a dramatic increase of both design and production cost. Recently a core-based system-on-chip (SoC) design methodology has been employed in order to reduce these costs. LÄS MER