 | Proceedings of IEEE East-West Design & Test Symposium (EWDTS'07) PDF (19 957 KB) |
Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08)Testing the Control Part of Peripheral Interfaces S. Zielski, J. Sosnowski Concurrent Processes Synchronisation in Statecharts for FPGA implementation Grzegorz Łabiak and Marian Adamski Characterization of CMOS Sequential Standard Cells for Defect Based Voltage Testing A. Wielgus and W. A. Pleskacz Minimizing Path Length in Digital Circuits Based on Equation Solving N. Kushik, S. Prokopenko, G. Sapunkov, N. Yevtushenko Deriving Test Suites for Timed Finite State Machines M. Gromov, D. Popov, N. Yevtushenko Coverage-Directed Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications Alexander Kamkin Multidimensional Loop Fusion for Low-Power Dmytro Lazorenko On Macroplaces in Petri Nets Andrei Karatkevich A Novel Timing-Driven Placement Algorithm Using Smooth Timing Analysis Andrey Ayupov, Leonid Kraginskiy Validation of a Mixed-Signal Board ATPG Method Val´erie-Anne Nicolas, Bertrand Gilles, Laurent Nana RTL-TLM Equivalence Checking Based on Simulation Nicola Bombieri, Franco Fummi, Graziano Pravadelli An Optimized CLP-based Technique for Generating Propagation Sequences F. Fummi, V. Guarnieri, C. Marconcini, G. Pravadelli Digital Lock Detector for Phase Locked Loop Vazgen Melikyan, Aristakes Hovsepyan, Mkrtich Ishkhanyan, Tigran Hakobyan An advanced Method for Synthesizing TLM2-based Interfaces Nadereh Hatami, and Zainalabedin Navabi A Low-Cost Optimal Time SIC Pair Generator I. Voyiatzis, H. Antonopoulou, C. Efstathiou Partitioning, Floor Planning, Detailed Placement and Routing Techniques for Schematic Generation of Analog Netlist Bikram Garg, Ashish Agrawal, Rajeev Sehgal, Amarpal Singh, Manish Khanna Simple March Tests for PSF Detection in RAM Ireneusz Mrozek, Eugenia Buslowska Facilitating Testability of TLM FIFO: SystemC Implementations Homa Alemzadeh, Marco Cimei, Paolo Prinetto, Zainalabedin Navabi Test Suite Consistency Verification Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich A 403-MHz Fully Differential Class-E Amplifier in 0.35 μm CMOS for ISM Band Applications Ghulam Mehdi, Naveed Ahsan, Amjad Altaf, Amir Eghbali Code Optimization for Enhancing SystemC Simulation Time Homa Alemzadeh, Soheil Aminzadeh, Reihaneh Saberi, Zainalabedin Navabi Testability analysis method for hardware and software based on assertion libraries Maryna Kaminska, Roman Prikhodchenko, Artem Kubirya, Pavel Mocar Utilizing HDL Simulation Engines for Accelerating Design and Test Processes Najmeh Farajipour, S. Behdad Hosseini and Zainalabedin Navabi An IEEE 1500 Compatible Wrapper Architecture for Testing Cores at Transaction Level Fatemeh Refan, Paolo Prinetto, Zainalabedin Navabi Reliable NoC Architecture Utilizing a Robust Rerouting Algorithm Armin Alaghi, Mahshid Sedghi, Naghmeh Karimi, Mahmood Fathy, Zainalabedin Navabi TUFFAN: A TLM Framework for Fast Architecture Exploration of Digital Systems Sheis Abolmaali, Parisa Razaghi and Zainalabedin Navabi Automating Hardware/Software Partitioning Using Dependency Graph Somayeh Malekshahi, Mahshid Sedghi, Zainalabedin Navabi System Level Hardware Design and Simulation with SystemAda Negin Mahani, Parnian Mokri, Zainalabedin Navabi HotSpot: Visualizing Dynamic Power Consumption in RTL Designs T. English, K. L. Man, E. Popovici and M. P. Schellekens Performance Evaluation of In-Circuit Testing on QCA based Circuits Nasim Kazemi-fard, Maryam Ebrahimpour, Mostafa Rahimi, Mohammad Tehrani, Keivan Navi
|