default search action
EWDTS 2010: St. Petersburg, Russia
- 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010. IEEE Computer Society 2010, ISBN 978-1-4244-9555-9
- Maksim Jenihhin, Jaan Raik, Raimund Ubar, Tatjana Shchenova:
An approach for PSL assertion coverage analysis with high-level decision diagrams. 13-16 - Daniele Rossi, Martin Omaña, Daniele Giaffreda, Cecilia Metra:
Secure communication protocol for wireless sensor networks. 17-20 - Alexander Barkalov, Larysa Titarenko, Slawomir Chmielewski:
Hardware reduction for FSM - Based control units using PAL technology. 21-24 - Liudmila D. Cheremisinova, Dmitry Ya. Novikov:
SAT-based group method for verification of logical descriptions with functional indeterminacy. 25-28 - Vazgen Melikyan, Davit Mirzoyan, Gor Petrosyan:
A process variation detection method. 30-33 - Sargis Abovyan, Gor Petrosyan, Tigran Harutyunyan:
Architecture of queued-free crossbar for on-chip networks. 34-36 - Gor Petrosyan, Sargis Abovyan, Tigran Harutyunyan:
Modeling on-chip variations in digital circuits using statistical timing analysis. 37-39 - Vazgen Melikyan, S. Karapetyan, Davit Mirzoyan, Eduard Babayan:
Stable current and voltage generation under process variation. 40-42 - Janusz Sosnowski:
Self-testing of microcontrollers in the field. 43-46 - Stefano Di Carlo, Michele Fabiano, Roberto Piazza, Paolo Prinetto:
Exploring modeling and testing of NAND flash memories. 47-50 - Vladimir Hahanov, Eugenia Litvinova, Wajeb Gharibi, Olesya Guz:
Coverage method for FPGA fault logic blocks by spares. 51-56 - Palanichamy Manikandan, Bjørn B. Larsen, Einar J. Aas:
Experiments with ABIST test methodology applied to path delay fault testing. 59-63 - Nikolaos Mavrogiannakis, Costas Argyrides, Dhiraj K. Pradhan:
Improving reliability for bit parallel finite field multipliers using Decimal Hamming. 69-72 - Alexander Barkalov, Larysa Titarenko, Jacek Bieganowski:
Microprogram control unit with code sharing and extended microinstruction format. 73-76 - Vladimir Hahanov, Irina V. Hahanova, Ngene Christopher Umerah, Tiecoura Yves:
Testing and verification of HDL-models for SoC components. 77-82 - Branka Medved Rogina, Peter Skoda, Karolj Skala, Ivan Michieli, Maja Vlah, Sinisa Marijan:
Metastability testing at FPGA circuit design using propagation time characterization. 80-85 - Osnat Keren, Ilya Levin:
Fault tolerance of decomposed PLAs. 86-91 - A. Andrashov, Vyacheslav S. Kharchenko, Vladimir V. Sklyar, L. Reva, V. Dovgopolyi, V. Golovir:
Verification of FPGA electronic designs for nuclear reactor trip systems: test- and invariant-based methods. 92-97 - Vladimir Hahanov, Wajeb Gharibi, Eugenia Litvinova, Svetlana Chumachenko:
Cyber space and brain-like computing. 98-109 - Vladimir Hahanov, Wajeb Gharibi, Svetlana Chumachenko, Eugenia Litvinova:
Vector logic analysis of associative matrices. 110-117 - Vladimir Hahanov, Eugenia Litvinova, Aleksey Priymak:
Table data structures for cyber space. 118-122 - Vladimir Hahanov, Olesya Guz, Ngene Christopher Umerah, Vitaliy Olchovoy:
Process models for analyzing associative data structures. 123-127 - Mark M. Gourary, Sergey G. Rusakov, Sergey L. Ulyanov, Michael M. Zharov:
A technique to accelerate the Vector Fitting algorithm for interconnect simulation. 127-130 - Mark M. Gourary, Sergey G. Rusakov, Alexander L. Stempkovsky, Sergey L. Ulyanov, Michael M. Zharov:
Frequency domain techniques for simulation of oscillators. 131-134 - Alexander V. Drozd, Vyacheslav S. Kharchenko, Alexandr Siora, Vladimir V. Sklyar:
Component-based safety-oriented on-line testing of digital systems. 135-140 - F. Podyablonsky, N. Kascheev:
Generalized faulty block model for automatic test pattern generation. 141-143 - Natalia V. Chebykina, Sergey G. Mosin:
A technique of optimal built-in self-test circuitries generation. 145-148 - Victor I. Djigan:
Applied library of adaptive lattice filters for nonstationary signal processing. 149-152 - Andrey Zakonov, Oleg A. Stepanov, Anatoly Shalyto:
GA-based and design by contract approach to test generation for EFSMs. 152-155 - Vladislav A. Lesnikov, Tatiana V. Naumovich, Alexander V. Chastikov, Sergey V. Armishev:
Implementation of a new paradigm in design of IIR digital filters. 156-159 - Anjela Yu. Matrosova, Ekaterina Nikolaeva:
PDFs testing of combinational circuits based on covering ROBDDs. 160-163 - Anzhela Yu. Matrosova, Valeriy B. Lipsky, Alexey Melnikov, Virendra Singh:
Path delay faults and ENF. 164-167 - Valentina Andreeva:
Test minimization technique for multiple stuck-at faults of combinational circuit. 168-170 - Sergey Ostanin, R. Muchamedov:
Testable combinational circuit design based on ZDD-implementation of ISOP Boolean function. 171-174 - Gamlet S. Khanyan:
Level quantization effect on accuracy of fast Fourier transform algorithm. 175-178 - S. O. Churayev, B. T. Matkarimov, T. T. Paltashev:
On-chip measurements of standard-cell propagation delay. 179-181 - S. O. Churayev, B. T. Matkarimov:
FPGA FFT implementation. 183-185 - Volodymyr Obrizan:
A method for automatic generation of an RTL-interface from a C++ description. 186-189 - Aleksandr V. Shishkin:
OFDM-based audio watermarking for electronic radiotelephone identification. 190-194 - George Dan Mois, Iulia Stefan, Szilárd Enyedi, Liviu Miclea:
Reconfiguration and hardware agents in testing and repair of distributed systems. 195-198 - Aditi Kajala, Gayaprasad Sinsinwar, Rahul Raj Choudhary, Jaynarayan T. Tudu, Virendra Singh:
On selection of state variables for delay test of identical functional units. 200-203 - Vladimir Hahanov, Alexander Mishchenko, Vitaliy Varetsa:
Metrics of vector logic algebra for cyber space. 204-207 - Vladimir Hahanov, Anna Hahanova, Vagan Zakaryan:
Cyber space evolution. 208-214 - Vladimir Hahanov, Irina Pobizhenko, Tiecoura Yves:
Logical method for detecting faults by fault detection table. 215-217 - Stefano Di Carlo, Michele Fabiano, Roberto Piazza, Paolo Prinetto:
EDACs and test integration strategies for NAND flash memories. 218-221 - Nadereh Hatami, Marco Indaco, Paolo Prinetto, Gabriele Tiotto:
Communication interface synthesis from TLM 2.0 to RTL. 222-226 - Nadereh Hatami, Paolo Prinetto, Gabriele Tiotto:
Sign Language synthesis using hand motion acquisition. 226-229 - Victor V. Panteleev:
An algorithm of timing recovery for modem with M-ary alphabets APK-signals. 230-235 - Victor V. Panteleev, Alexander I. Vakaruk:
Engineering-maintenance methods of the calculation xDSL-lines. 236-241 - Sergei G. Krutchinsky, Michael S. Tsibin, Alexey E. Titov:
Common-mode signal minimization in differential stage. 242-245 - Sergei G. Krutchinsky:
Optimization of sensitivity dominating parameters OA in selective IP blocks. 246-249 - Irina D. Pletneva, Victor I. Djigan:
Adaptive array based on "Multicore" DSP family and Linearly Constrained constant modulus IQRD RLS algorithm. 254-257 - Victor I. Djigan:
Performance investigation of antenna arrays by means of virtual instruments. 258-261 - Gamlet S. Khanyan:
Level quantization effects in digital signal processing by discrete Fourier transform method. 262-265 - Igor Ilyin, Rostislav Grushvitsky:
Internal structure of software application for controlling devices via JTAG 1149 interface. 264-266 - Vladimir Volkov, Rudolf Germer, Alexandr Oneshko, Denis Oralov:
Straight edge extraction and localization on noisy images. 267-270 - G. V. Kulikov, A. U. Unger, P. G. Suhanov:
A digital implementation of multi-h CPM modem. 271-273 - Stanislav S. Gritsutenko, Aleksey G. Panyukov:
Quantization step dispersion of direct transformation ADC. 274-277 - Alexander B. Sergienko, Alexander V. Petrov:
Blind carrier frequency offset estimation for QAM signals based on weighted 4th power of signal samples. 278-281 - Vladislav A. Lesnikov, Tatiana V. Naumovich, Alexander V. Chastikov, Sergey V. Armishev:
A new paradigm in design of IIR digital filters. 282-285 - Yuriy A. Skobtsov, V. Y. Skobtsov:
Evolutionary approach to test generation of sequential digital circuits with multiple observation time strategy. 286-291 - Helen V. Kharchenko, Inna O. Tkalich, Yegor I. Vdovychenko:
Two-criterial DSSS synchronization method efficiency research. 289-299 - Dmitriy V. Speranskiy:
An entropic approach to diagnostic information compression. 292-299 - Alexander Zemliak, M. Torres, Fernando Reyes-Cortés, Sergio Vergara, Tatiana M. Markina:
Dynamic characteristics of different system design strategies. 300-303 - Yegor I. Vdovychenko:
FPGA-based digital phase difference meter. 309 - H. Avetisyan, Gurgen Harutyunyan, Valery A. Vardanian, Yervant Zorian:
An efficient March test for detection of all two-operation dynamic faults from subclass Sav. 310-313 - E. M. Grinkrug, A. R. Shakurov:
Component architecture with runtime type definition. 315-318 - H. H. Asadov, Y. N. Aliyeva, L. A. Bayramova, K. Kh. Ismailov:
New method of multi-level optimization. 319-321 - H. H. Asadov, N. A. Abdullayev, M. J. Kerimov, E. F. Dadashov:
Utilization of variation optimization for location of emitter of random noise signal. 322-323 - H. H. Asadov, N. A. Abdullayev, E. A. Ibrahimov, V. M. Garayev, E. Abbaszadeh:
Information optimization of distributed net of receivers of acoustic noise type signals. 324-325 - H. H. Asadov, N. A. Abdullayev, I. K. Agayev, N. A. Nabiyev, R. T. Rajabli:
Optimization of information - Measuring systems of non-stationary operational regime in multiple measurements mode. 326-327 - H. H. Asadov, N. A. Abdullayev, S. B. Jalilov, N. A. Nabiyev, N. H. Javadov:
On possibility of stabilizing results for multicriteria optimizing linear combination of concurrent functionals. 328-329 - Viney Kumar, Rahul Raj Choudhary, Virendra Singh:
FREP: A soft error resilient pipelined RISC architecture. 330-333 - Anton Tsertov, Artur Jutman, Sergei Devadze:
Testing beyond the SoCs in a lego style. 334-338 - Vitalij D. Pavlenko, Viktor Burdeinyi:
Cluster computing framework based on transparent parallelizing technology. 339-342 - N. S. Vinay, Indira Rawat, Erik Larsson, Manoj Singh Gaur, Virendra Singh:
Thermal aware test scheduling for stacked multi-chip-modules. 343-349 - K. R. Vinutha, Virendra Singh, Anzhela Yu. Matrosova, Manoj Singh Gaur:
Fault grading using Instruction-Execution graph. 350-357 - Dmitry Bagayev, Evsyakov Artem:
System remote control of the robotized complex - Pegas. 358-361 - A. A. Bykau, I. I. Piletsky:
Internet applications testing automation through probabilistic-network programming. 362-365 - Mudar Almadi, Diaa Moamar, Vladimir Ryabtsev:
Methodology of algorithms synthesis of storage devices test diagnosing. 366-370 - Nina Khairova, Natalia Sharonova:
Building of the logic network of the information area of the corporation. 371-373 - Eduard Atkin, Yuri Volkov, Alexander Klyuev, Vitaly Shumihin:
Development of the data-driven readout ASIC for microstrip detectors. 374-375 - Ilia Polian, John P. Hayes:
Advanced modeling of faults in Reversible circuits. 376-381 - Nina Khairova, Natalia Sharonova:
Use of predicate categories for modelling of operation of the semantic analyzer of the linguistic processor. 382-385 - Alexander V. Drozd, Svetlana Antoshchuk, A. Martinuk, Julia V. Drozd:
Increase in reliability of on-line testing methods using natural time redundancy. 386-391 - Alexander Barkalov, Larysa Titarenko, Slawomir Chmielewski:
Reduction in the number of PAL macrocells for Moore FSM implemented with CPLD. 390-394 - Fatemeh Javaheri, Zainalabedin Navabi:
ESL design methodology for architecture exploration. 395-401 - Amirali Ghofrani, Sheis Abolma'ali, Zahra Najafi Haghi, Zainalabedin Navabi:
A TLM2.0 assertion library with centralized monitoring approach. 402-406 - Vazgen Melikyan, Aristakes Hovsepyan, Tigran Harutyunyan:
Schematic protection method from influence of total ionization dose effects on threshold voltage of MOS transistors. 407-409 - Arezoo Kamran, Nastaran Nemati, Somayeh Sadeghi Kohan, Zainalabedin Navabi:
Virtual tester development using HDL/PLI. 412-415 - Arezoo Kamran, Mohammad Saeed Jahangiry, Zainalabedin Navabi:
Merit based directed random test generation (MDRTG) scheme for combinational circuits. 416-419 - Niki Shakeri, Nastaran Nemati, Majid Nili Ahmadabadi, Zainalabedin Navabi:
Near optimal machine learning based random test generation. 420-424 - Alexander Adamov, Vladimir Hahanov:
Security risks in hardware: Implementation and detection problem. 425-427 - Homa Alemzadeh, Marco Cimei, Paolo Prinetto, Zainalabedin Navabi:
Facilitating testability of TLM FIFO: SystemC implementations. 428-431 - Homa Alemzadeh, Soheil Aminzadeh, Reihaneh Saberi, Zainalabedin Navabi:
Code optimization for enhancing SystemC simulation time. 431-434 - Vazgen Melikyan, Karen Sahakyan, Armen Nazaryan:
5V tolerant power clamps for mixed-voltage IC's in 65nm 2.5V salicided CMOS technology. 434-437 - Dmitri Boulytchev, Oleg S. Medvedev:
Hardware description language based on message passing and implicit pipelining. 438-441 - Mikhail Talalay, Konstantin Trushin, Oleg Venger:
Between standard cells and transistors: Layout templates for Regular Fabrics. 442-448 - Alexander Adamov, Alexander Saprykin:
The problem of Trojan inclusions in software and hardware. 449-451 - Vitaliy Kulanov, Vyacheslav S. Kharchenko, Artem Perepelitsyn:
Parameterized IP Infrastructures for fault-tolerant FPGA-based systems: Development, assessment, case-study. 452-455 - Mohammad Hashem Haghbayan, Alireza Yazdanpanah, Sara Karamati, Ramyar Saeedi, Zainalabedin Navabi:
Generating test patterns for sequential circuits using random patterns by PLI functions. 456-461 - Mohammad Hossein Sargolzaei, Mehdi Semsarzadeh, Mahmoud Reza Hashemi, Zainalabedin Navabi:
Low cost error tolerant motion estimation for H.264/AVC standard. 461-465 - A. S. Epifanov:
Method of diagnosing FPGA with use of geometrical images. 465-468 - Vladimir Hahanov, Aleksey Sushanov, Yulia Stepanova, Alexander Gorobets:
System in Package. Diagnosis and embedded repair. 468-472 - Vladimir Hahanov, Svetlana Chumachenko, Eugenia Litvinova, Oleg Zakharchenko, Natalya Kulbakova:
Technology for faulty blocks coverage by spares. 473-478 - A. V. Babich, Murad Ali Abbas:
The Unicast Feedback models for real-time control protocol. 479-481 - Vladimir Hahanov, Sergey Galagan, Vitaliy Olchovoy, Aleksey Priymak:
Algebra-logical repair method for FPGA logic blocks. 482-487 - Mikhail M. Chupilko:
Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models. 487-490 - Somayyeh Jafarali Jassbi, Mehdi Hosseinzadeh, Keivan Navi:
Redundant Multi-Level one-hot Residue Number System based error correction codes. 491-494 - Sergey Mikhtonyuk, Maksim Davydov, Roman Hwang, Dmitry Shcherbin:
IEEE 1500 compliant test wrapper generation tool for VHDL models. 495-499 - Dmitry Melnik, Olga Lukashenko, Sergey A. Zaychenko:
Early detection of potentially non-synchronized CDC paths using structural analysis technique. 500-503 - M. H. Haghbayan, Zainalabedin Navabi:
Architecture design and technical methodology for bus testing. 504-509 - Amirali Ghofrani, Fatemeh Javaheri, Zainalabedin Navabi:
Assertion based verification in TLM. 509-513 - Alexander Sudnitson, Dmitri Mihhailov, Margus Kruus:
Advanced topics of FSM design using FPGA educational boards and web-based tools. 514-517 - Nastaran Nemati, Majid Namaki-Shoushtari, Zainalabedin Navabi:
A mixed HDL/PLI test package. 518-523 - Muhammad Mehdi Lotfinejad, Mohammad Mosleh, Hamid Noori:
A novel high speed residue to binary converter design based on the three-moduli set {2n, 2n+1+1, 2n+1-1}. 524-526 - V. A. Tverdokhlebov:
Phase pictures of properties of complex objects of technical diagnostics. 527-530 - Mikhail F. Karavay, Victor S. Podlazov:
Extended complete switch as ideal system network. 530-534 - Yevgeniya Sulema, Samira Ebrahimi Kahou:
Image compression: Comparative analysis of basic algorithms. 534-537 - Anatoly I. Petrenko:
Networked VLSI and MEMS designer for Grid. 538-544 - Jiri Jenícek, Ondrej Novák:
COMPAS - Advanced test compressor. 543-548
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.