Table of Contents

• TPG for Crosstalk Faults between On-Chip Aggressor and Victim Using Genetic AlgorithmsKishore K. Duganapalli, Ajoy Kumar Palit, Walter Anheier. 3-8 [doi]
• LFSR Reseeding Based Test Compression Respecting Different Controllability of Decompressor OutputsOndrej Novák, Jiri Jenícek, Martin Rozkovec. 9-14 [doi]
• Compiler-Centred Microprocessor Design (CoMet) - From C-Code to a VHDL Model of an ASIPRoberto Urban, Mario Schölzel, Heinrich Theodor Vierhaus, Enrico Altmann, Horst Seelig. 17-22 [doi]
• Low-Area and High-Speed Approximate Matrix-Vector MultiplierI-Che Chen, John P. Hayes. 23-28 [doi]
• A Design for the 178-MHz WXGA 30-fps Optical Flow Processor Based on the HOE AlgorithmTetsuya Matsumura, Aoi Kurokawa, Kousuke Imamura, Yoshio Matsuda. 31-36 [doi]
• A Design of Ring Oscillator Based PUF on FPGAFilip Kodýtek, Róbert Lórencz. 37-42 [doi]
• Design-for-Diagnosis Architecture for Power SwitchesMiroslav Valka, Alberto Bosio, Luigi Dilillo, Patrick Girard, Arnaud Virazel, P. Debaud, S. Guilhot. 43-48 [doi]
• A Novel Compact Dual-Band Bandpass Waveguide FilterSneana Stefanovski, Milka M. Potrebic, Dejan Toic, Zoran Stamenkovic. 51-56 [doi]
• Fully Differential Difference Amplifier for Low-Noise ApplicationsDaniel Arbet, Gabriel Nagy, Martin Kovác, Viera Stopjaková. 57-62 [doi]
• A Low Ripple Current Mode Voltage DoublerAndrzej Grodzicki, Witold A. Pleskacz. 63-68 [doi]
• SystemC-Based Loose Models for Simulation Speed-Up by Abstraction of RTL IP CoresSyed Saif Abrar, Maksim Jenihhin, Jaan Raik. 71-74 [doi]
• NoCDepend: A Flexible and Scalable Dependability Technique for 3D Networks-on-ChipThomas Hollstein, Siavoosh Payandeh Azad, Thilo Kogge, Haoyuan Ying, Klaus Hofmann. 75-78 [doi]
• A Synchronous Mirror Delay with Duty-Cycle Tunable TechnologyYo-Hao Tu, Kuo-Hsing Cheng, Yian-An Lin, Hong-Yi Huang. 79-82 [doi]
• Design of In AlN/GaN Heterostructure-Based Logic CellsLukás Nagy, Viera Stopjaková, Alexander Satka. 83-86 [doi]
• Triangular Modulation Using Switched-Capacitor Scheme for Spread-Spectrum ClockingHong-Yi Huang, Gene Fe Palencia, Da-Kai Chen, Wei-Hsuan Huang. 87-90 [doi]
• Application of Evolutionary Algorithms for Regression Suites OptimizationMichaela Beleova, Zdenek Kotásek, Marcela imkova, Toma Hruka. 91-94 [doi]
• Boolean Difference Technique for Detecting All Missing Gate Faults in Reversible CircuitsJoyati Mondal, Bappaditya Mondal, Dipak Kumar Kole, Hafizur Rahaman, Debesh K. Das. 95-98 [doi]
• Combining Correction of Delay Faults and Transient FaultsTobias Koal, Stefan Scharoba, Heinrich Theodor Vierhaus. 99-102 [doi]
• Fast Simulation of SystemC Synthesizable SubsetMikhail Glukhikh, Mikhail J. Moiseev. 103-106 [doi]
• Design of Wireless Sensor Network for Real-Time Structural Health MonitoringMarco Giammarini, Daniela Isidori, Enrico Concettoni, Cristina Cristalli, Matteo Fioravanti, Marco Pieralisi. 107-110 [doi]
• The Advanced Circuitry of the Precision Super Capacitances Based on the Classical and Differential Difference Operational AmplifiersNikolay N. Prokopenko, Nikolay V. Butyrlagin, Sergei G. Krutchinsky, Evgeniy A. Zhebrun, Alexey E. Titov. 111-114 [doi]
• Direct Test Methodology for HDL VerificationRados Dabic, Sasa Jednak, Ilija Adzic, Dusko Stanic, Aleksandar Mijatovic, Stanislav Vuckovic. 115-118 [doi]
• Modeling CMOS Gates Using Equivalent InvertersSpyridon Nikolaidis. 119-122 [doi]
• UVM-based Verification of Bluetooth Low Energy ControllerMaciej Moskala, Patryk Kloczko, Marek Cieplucha, Witold A. Pleskacz. 123-124 [doi]
• PVT Insensitive High-Resolution Time to Digital Converter for Intraocular Pressure SensingHong-Yi Huang, Jen-Chieh Liu, Pei-Ying Lee, Kun-Yuan Chen, Jin-Sheng Chen, Kuo-Hsing Cheng, Tzuen-Hsi Huang, Ching-Hsing Luo, Jin-Chern Chiou. 125-128 [doi]
• An Asynchronous Projection and Summation Circuit for In-Pixel Processing in Single Photon Avalanche Diode SensorsXiao Yang, Hongbo Zhu, Toru Nakura, Tetsuya Iizuka, Kunihiro Asada. 131-136 [doi]
• BSIM4 to PSP Model Conversion for Passive Mixer IM3 SimulationDuan N. Grujic, Mihajlo Boovic, Milan Savic. 137-142 [doi]
• FPGA Prototyping and Accelerated Verification of ASIPsJakub Podivinsky, Marcela imkova, Ondrej Cekan, Zdenek Kotásek. 145-148 [doi]
• Performance Enhancement of Serial Based FPGA Probabilistic Fault Emulation TechniquesIoana Mot, Oana Boncalo, Alexandru Amaricai. 149-152 [doi]
• Parameterized Critical Path Selection for Delay Fault TestingMiroslav Siebert, Elena Gramatová. 153-156 [doi]
• Mapping Trained Neural Networks to FPNNsMartin Krcmár, Jan Kastil, Zdenek Kotásek. 157-160 [doi]
• Synthesis and Optimization of Switching NanoarraysMuhammed Ceylan Morgul, Mustafa Altun. 161-164 [doi]
• Modeling the Coupling through Substrate for Frequencies up to 100GHzVasileios Gerakis, Fontounasios Christos, Alkis A. Hatzopoulos. 165-168 [doi]
• Contradiction Analysis for Inconsistent Formal ModelsNils Przigoda, Robert Wille, Rolf Drechsler. 171-176 [doi]
• Equivalence Checking on System Level Using a Priori KnowledgeNiels Thole, Heinz Riener, Görschwin Fey. 177-182 [doi]
• Requirement Phrasing Assistance Using Automatic Quality AssessmentArman Allahyari-Abhari, Mathias Soeken, Rolf Drechsler. 183-188 [doi]
• A Design Preconditioning Flow for Low-Noise CircuitsSteffen Zeidler, Xin Fan, Oliver Schrape, Milos Krstic. 191-196 [doi]
• Containment of Metastable Voltages in FPGAsRobert Najvirt, Thomas Polzer, Florian Beck, Andreas Steininger. 197-202 [doi]
• Design Flow for Radhard TMR Flip-FlopsVladimir Petrovic, Milos Krstic. 203-208 [doi]
• Intermittent Resistive Faults in Digital CMOS CircuitsHans G. Kerkhoff, H. Ebrahimi. 211-216 [doi]
• A Coarse Model for Estimation of Switching Noise Coupling in Lightly Doped SubstratesMilan Babic, Milos Krstic. 217-222 [doi]
• SPICE-Inspired Fast Gate-Level Computation of NBTI-induced Delays in Nanoscale LogicSergei Kostin, Jaan Raik, Raimund Ubar, Maksim Jenihhin, Thiago Copetti, Fabian Vargas, Letícia Maria Bolzani Pöhls. 223-228 [doi]
• Activity Profiling and Power Estimation for Embedded Wireless Sensor Node DesignGoran Panic, Zoran Stamenkovic. 231-236 [doi]
• Embedded Test Instrument for On-Chip Phase Noise Evaluation of Analog/IF SignalsFlorence Azaïs, Stephane David-Grignot, Laurent Latorre, Francois Lefevre. 237-242 [doi]
• A Delay Measurement Mechanism for Asynchronous Circuits of Bundled-Data ModelShuichi Sato, Satoshi Ohtake. 243-248 [doi]
• New Fault Models and Self-Test Generation for Microprocessors Using High-Level Decision DiagramsArtjom Jasnetski, Jaan Raik, Anton Tsertov, Raimund Ubar. 251-254 [doi]
• Simulation-Based Analysis of the Single Event Transient Response of a Single Event Latchup Protection SwitchMarko S. Andjelkovic, Vladimir Petrovic, Zoran Stamenkovic, Goran S. Ristic, Goran S. Jovanovic. 255-258 [doi]
• Power-Management Specification in SystemCDominik Macko, Katarina Jelemenska, Pavel Cicak. 259-262 [doi]
• Design and Implementation of an Adaptive Algorithm for Hybrid Automatic Repeat RequestLukasz Lopacinski, Jörg Nolte, Steffen Büchner, Marcin Brzozowski, Rolf Kraemer. 263-266 [doi]
• Increasing Manufacturing Yield Using Partially Programmable Circuits with CLB Implementation of Incompletely Specified Boolean Function of the Corresponding Sub-CircuitAnzhela Matrosova, Sergey Ostanin, Irina Kirienko. 267-270 [doi]
• Implementation of the ADELITE Microcontroller for Biomedical ApplicationsKrzysztof Marcinek, Maciej Plasota, Andrzej Wielgus, Witold A. Pleskacz. 271-274 [doi]
• High Precision Digital Based 3.8GHz Phase ShifterFrancesco Cannone, Gianfranco Avitabile, Giuseppe Coviello, Giovanni Piccini. 275-278 [doi]
• Generic Self Repair Architecture with On-Line Fault DiagnosisStefan Kristofik, Marcel Baláz, Mária Fischerová. 279-282 [doi]
• Microwave Selective Amplifiers with High Asymptotic Attenuation in the Range of Subresonance FrequenciesNikolay N. Prokopenko, Nikolay V. Butyrlagin, Sergei G. Krutchinsky, Evgeniy A. Zhebrun, Alexey E. Titov. 283-286 [doi]
• Analog Circuitry for BLDC Motor Magnetic Saturation DiagnosticNebojsa Pjevalica, Milos Nikolic, Ivan Kastelan. 287-290 [doi]
• High Throughput Floating-Point Dividers Implemented in FPGAPeter Malík. 291-294 [doi]
• Formal Verification of Software for the Contiki Operating System Considering InterruptsThilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz. 295-298 [doi]
• Wireless Heart Rate Monitor in Personal Emergency Response SystemDavid L. Larkai, Ruiheng Wu. 299-300 [doi]
• Hardware Implementation of a RSS Localization Algorithm for Wireless Capsule EndoscopyMladen Cicic, J. Gutierrez Teran, Zoran Stamenkovic. 301-304 [doi]