Программа форума 18-21 октября 2011г. Харьков 2011 Организаторы Форума: Академия наук прикладной радиоэлектроники
жүктеу/скачать 1.28 Mb.
|
- Бұл бет үшін навигация:
- Конференция «
|
SYMPOSIUM PROGRAM First Day: September 9th, 2011 (Friday) 09:00—13:00 Registration 14:00—15:00 Lunch 15:00—15:15 Opening Session Eugene Pashkov — rector of Sevastopol National Technical University, Ukraine Yervant Zorian — EWDTS General Chair, and Vice President, Synopsys, USA Vladimir Hahanov — EWDTS General Chair, Kharkiv National University of Radio Electronics,Ukraine 15:15—17:15 Plenary Session A Moderator: Mikhail F. Karavay, Russia 15:15—15:45 Keynote Address: Validation & Verification of an EDA automated synthesis tool Paolo Prinetto — Politecnico di Torino, Italy
Mikhail F. Karavay, Victor S. Podlazov — Institute of Control Sciences Russian Academy of Sciences, Russia 16:15—16:45 Cadеnce. Integrated CAD for SoC and radioelectronic devices Anatoly Ivanov — Cadence, Russia 16:45—17:15 IT Security Development by Kaspersky Academy Vladimir Hahanov — EWDTS General Chair, and Kharkiv National University of Radio Electronics, Ukraine 1  7: 15—17:45 Coffee Break
1 Moderator: Alexander Drozd, Ukraine P Alexander Chemeris, Svetlana Reznikova — G.E.Pukhov Institute for Modeling in Energy Engineering, Kiev, Ukraine A Programmable BIST with Macro and Micro codes for Embedded SRAMs Manikandan Palanichamy, Bjern B. Larsen, Einar J. Aas and Areef Mohammad — The Norwegian University of Science and Technology, Trondheim, Norway Loop fusion and power consumption of PCs Dmytro Lazorenko — G.E. Pukhov Institute for Modeling in Energy Engineering National Academy of Sciences, Ukraine
dvanced Scan Chain Configuration Method for Broadcast Decompressor Architecture Jiff Jenfcek and Ondfej Novak — Technical University Liberec, Czech Republic Martin Chloupek — Czech Technical University in Prague, Czech Republic On experimental research of efficiency of tests construction for combinational circuits by the focused search method Vasily Kulikov, Vladimir Mokhor — Institute of Special Telecommunication and Information Security of National Technical University of Ukraine "Kyiv Polytechnic Institute", Ukraine Lyapunov Function Analysis for Different Strategies of Circuit Optimization A. Zemliak, A. Michua— Autonomous University of Puebla, Mexico T. Markina — National Technical University of Ukraine, Kiev, Ukraine Test Set Compaction Procedure for Combinational Circuits Based On Decomposition Tree Valentina Andreeva — Tomsk State University, Russia A Security Model of Individual Cyberspace Alexander Adamov, Vladimir Hahanov — Kharkov National University of Radio Electronics, Ukraine, Implementation by the Special Formula of an Arbitrary Subset of Code Words of (m, n)-code for Designing a Self-Testing Checker N. Butorina, S. Ostanin — Tomsk State University, Russia State Identification of Bilinear Digital System Dmitriy Speranskiy — Moscow State University of Railway Engineering, Russia
Moderator: Paolo Prinetto, Italy 09:00—09:30 Keynote Address Tech & Space: A Symbiotic Relationship Rich Goldman — Synopsys, Armenia Invited Talks: 09:30—10:00 About Dependability in Cyber-Physical Systems Liviu Miclea — Technical University of Cluj-Napoca, Romania 10:00—10:30 Multi-version computing for critical applications Vyacheslav Kharchenko — National Aerospace University "KhAI", Kharkiv, Ukraine 10:30—11:00 Coffee Break 11:00—14:00 Session 2-A: CAD Tools for Design & Test (2) Alexander Kamkin —Russia Self-healing Capabilities through Wireless Reconfiguration of FPGAs George Dan Moi§, Mihai Hulea, Silviu Folea and Liviu Miclea — Department of Automation, Technical University of Cluj-Napoca, Romania Automated Test Bench Generation for High-Level Synthesis flow ABELITE Taavi Viilukas, Maksim Jenihhin, Jaan Raik, Raimund Ubar— Tallinn University of Technology, Estonia; Samary Baranov — Bar Ilan University/School of Engineering, Ramat Gan, Israel Checkability of the Digital Components in Safety-Critical Systems: Problems and Solutions A. Drozd, S. Antoshchuk, J. Sulima, M. Drozd — Odessa National Polytechnical University, V. Kharchenko — National Aerospace University named after N.E. Zhukovsky "KhAI", Centre for Safety Infrastructure-Oriented Research and Analysis, RPC "Radiy" Design Fault Injection-Based Technique and Tool for FPGA Projects Verification L. Reva , V. Kulanov, V. Kharchenko — National Aerospace University named after N.E. Zhukovsky "KhAI", Centre for Safety Infrastructure-Oriented Research and Analysis Quasioptimal Algorithm of Carrier Recovery in Coherent Receiver M-ary Alphabets APK-Signals without Traditional PLL Victor V. Panteleev — TELNET, Ltd., Ukraine Quasioptimal Algorithm of Timing Recovery in Autocorrelation Receiver of Phase Shift Keying Signal Vitaliy A. Balashov, Victor V. Panteleev, Leonid M. Lyakhovetskyy — Odessa Research Institute of Communication, TELNET, Ltd., Ukraine Geometrical approach to technical diagnosing of automatons V.A. Tverdokhlebov— Institute of precision mechanics and control science of RAS, Russia Efficient selective compaction and un-compaction of inconsequential logical design units in the schematic representation of a design Tarun Kumar Goyal, Amarpal Singh, Rahul Aggarwal — Mentor Graphics, Noida, India Organization of Pipeline Operations in Mapping Unit of the Dataflow Parallel Computing System N.N. Levchenko, A.S. Okunev, D.E. Yakhontov — Institute for Design Problems in Microelectronics, Russian Academy of Sciences, Moscow, Russia Programmable Current Biasing for Low Noise Voltage Controlled Oscillators Vazgen Melikyan, Armen Durgaryan — Synopsys Armenia CJSC, Armenia Design of Microprogrammed Controllers with Address Converter implemented on Programmable Systems with Embedded Memories Remigiusz Wisniewski, Monika Wisniewska,Marek Wegrzyn, Norian Marrang —
Reduction of the Memory Size in the Microprogrammed Controllers Monika Wisniewska, Remigiusz Wisniewski, Marek Wegrzyn*, Norian Marranghello — University of Zielona Gora, Poland Test Architecture Design for TSV based 3D Stacked ICs using Hard SOCs Surajit K. Roy, Chandan Giri, Arnab Chakraborty, Subhro Mukherjee, Debesh K. Das and Hafizur Rahaman — Bengal Engineering and Science University, Jadavpur Univerisy, India Selection of the State Variables for Partial Enhanced Scan Techniques Matrosova, A. Melnikov, R. Mukhamedov —Tomsk State University, Russia V. Singh — Indian Institute of Science, India 14:00—15:00 Lunch 15:00—20:00 Social Event: City Sevastopol tour.
Moderator: Liviu Miclea, Romania 09:00—09:30 Keynote Address: New Trends in SoC/SiP Design and Test Yervant Zorian — Virage Logic, USA Invited Talks: 09:30—10:00 Software Testing of a Simple Network Jack Arabian — Comparative Management Associates, USA 10:00—10:30 Simulation-Based Hardware Verification with Time- Abstract Models Alexander Kamkin — Institute for System Programming of the Russian Academy of Sciences
11:00—13:00 Session 3-A: Signal Processing Moderator: Victor I. Djigan, Russia Adaptive Signal Processing in Multi-Beam Arrays Victor I. Djigan — Electronic VLSI Engineering and Embedded Systems (ELVEES) Research and Development Center of Microelectronics, Zelenograd, Moscow, Russia High Performance Audio Processing SoC Platform Denis Muratov, Vladimir Boykov, Yuri Iskiv, Igor Smirnov — Waves Audio, UDC Sergey Berdyshev, Valeriy Vertegel, Yuri Gimpilevich — Sevastopol National Technical University, Ukraine Gilad Keren — Waves Audio, Israel Modified Protocol for Data Transmission in Ad-Hoc Networks with High Speed Objects Using Directional Antennas Victor Barinov, Alexey Smirnov, Danila Migalin — National Research University of Electronic Technology, Zelenograd, Moscow, Russia Adaptive Wavelet Codec for Noisy Image Compression Yuri S. Bekhtin — Ryazan State Radioengineering University, Russia A Generation of Canonical Forms for Design of IIR Digital Filters Vladislav Lesnikov, Tatiana Naumovich, Alexander Chastikov — Vyatka State University, Russia Sergey Armishev — Rondosoft, Inc., Los Gatos, CA, USA  Optimization Some Characteristics of Continuous Phase Spread Spectrum Signal
Michael Balanov, Olga Mamedova — Moscow State Technical University of Radioengineering, Russia A Calculation of Parasitic Signal Components Digital Filtration for the Retransmission Meter on the basis of FPGA D.A. Velichko, I.I. Vdovychenko — A.Y. Usikov Institute of Radio Physics and Electronics NAS, Ukraine Variant of Wireless MIMO Channel Security Estimation Model Based on Cluster Approach O. Kuznietsov, O. Tsopa — Kharkiv National University of Radioelectronics, Ukraine 13:00—14:00 Session 3-B: CAD Tools for Design & Test (3) Moderator: Maksim Jenihhin, Estonia Thermal Analysis of the Ball Grid Array Packages K.O. Petrosyants, N.I. Rjabov — Moscow State Institute of Electronics and Mathematics (Technical University), Russia Si BJT and SiGe HBT Performance Modeling after Neutron Radiation Exposure Konstantin Petrosyants, Maxim Kozhukhov — Moscow State Institute of Electronics and Mathematics (Technical University), Russia Eric Vologdin, Dmitry Smirnov — Federal state unitary enterprise «Scientific-and-production enterprise «Pulsar», Russia Rostislav Torgovnikov — Institute for Design Problems in Microelectronics of Russian Academy of Sciences, Russia Third Day: September 11th, 2011 (Sunday) Compact Power BJT and MOSFET models parameter extraction with account for thermal effects I. A. Kharitonov — Moscow State Institute of Electronics and Mathematics (Technical University), Russia
E. V. Orekhov, L. M. Sambursky — Institute for Design Problems in Microelectronics of Russian Academy of Sciences, Russia A. P. Yatmanov, A. V. Voevodin, A. N. Mansurov Measuring Systems Research Institute named after Yu. Ye. Sedakov, Russia Infrastructure for Testing and Diagnosing Multimedia Devices Vladimir Hahanov, Karyna Mostova and Oleksandr Paschenko — Kharkiv National University of Radio Electronics, Ukraine RoCoCo: Row and Column Compression for High-Performance Multiplication on FPGAs Fatih Ugurdag, Cihan Tunc, Fatih Temizkan, Soner Dedeoglu — Dept. of Electrical & Electronics Engineering, Ozyegin University, Istanbul, Turkey Okan Keskin, Gurbey Fici — Ericsson, Istanbul, Turkey Soner Dedeoglu — Information Systems Dept. of the City Government of Basaksehir, Turkey
Moderator: Yegor Vdovychenko, Ukraine Compact DSM MOSFET model and its parameters extraction Anatoly Belous, Sergey Shvedov, Arkady Turtsevich — R&D Center "BelMicroSystems", Joined Research and Production Corporation "Integral", Minsk, Belarus Vladislav Nelayev, Viktor Stempitsky, Tran Tuan Trung — Belarusian State University of Informatics and Radioelectronics, Micro- and Nanoelectronics Department, Minsk, Belarus IGBT Technology Design and Device Optimization Artem Artamonov, Vladislav Nelayev, Ibrahim Shelibak — Belarusian State University of Informatics and Radioelectronics, Minsk, Belarus Arkady Turtsevich — Joint-Stock Company "Integral", Minsk, Belarus C++TESK-SystemVerilog united approach to simulation-based verification of hardware designs Mikhail Chupilko — Institute for System Programming of the Russian Academy of Sciences, Russia New Methods and Tools for Design of Tests Memory Mudar Almadi, Diaa Moamar, Vladimir Ryabtsev — Cherkassy branch of the European University, Ukraine Methodology of the Pre-silicon Verification of the Processor Core Sergii Berdyshev, Yuri Gimpilevich, Valeriy Vertegel Yuri Iskiv — Sevastopol National Technical University, Ukraine Vladimir Boykov, Gilad Keren, Denis Muratov, Igor Smirnov — Waves Audio Ltd., Ukraine Development Center, Sevastopol, Ukraine A Diagnostic Model for Detecting Functional Violation in HDL-Code of System-on-Chip V. Hahanov, Ngene Christopher Umerah — KHNURE, Ukraine Spam Diagnosis Infrastructure for Individual Cyberspace Vladimir Hahanov, Aleksandr Mischenko, Svetlana Chumachenko, Anna Hahanova, Alexey Priymak — KHNURE, Ukraine Cybercomputer for Information Space Analysis Vladimir Hahanov, Eugenia Litvinova —KHNURE, Ukraine Wajeb Gharibi — Kingdom of Saudi Arabia, Jazan University Dong Won Park — Pai Chai University, the Republic of Korea Verification and Diagnosis of SoC HDL-code Vladimir Hahanov, Aleksey Priymak — KHNURE,Ukraine Dong Won Park — Pai Chai University, the Republic of Korea Olesya Guz — Road Transport Faculty, Donetsk Institute of Road Transport, Donetsk, Ukraine Diagnosis Infrastructure of Software-Hardware Systems Tiecoura Yves (Cote d'Ivoire), Vladimir Hahanov, Omar Alnahhal (Palestine), M. Maksimov, Dmitry Shcherbin, Dmitry Yudin — Kharkov National University of Radioelectronics, Kharkov, Ukraine
Competence as a Support Factor of the Computer System Operation Krivoulya G., Shkil A., Kucherenko D. — Kharkov National University of Radioelectronics, Kharkov, Ukraine 12:00—13:00 Symposium Closing - Action hall 13:00—22:00 Departu Poster Session Recognition of automatons by their geometrical images Epifanov A.S. — Institute of precision mechanics and control science of RAS, Russia Device-Process Simulation of Discrete Silicon Stabilitron with the Stabilizing Voltage of 6,5 V Dudar N.L., Borzdov V.M. — Openly Join-Stock Company «Integral», Belarusian State University, Мinsk, Republic of Belarus Problems of cause-effect link's definition in man-machine systems' accidents Rezchikov A.F. — Institute of precision mechanics and control science of RAS, Russia Optimal Schematic Design of Low-Q IP Blocks Sergey G. Krutchinsky and Mikhail S. Tsybin — Taganrog Institute of Technology Southern Federal University, Russia Modeling a Logical Network of Relations of Semantic Items in Superphrasal Unities Nina Khairova and Natalia Sharonova — National Technical University "Kharkiv Polytechnical Institute", Ukraine Model order reduction of Micro-Electro-Mechanical Systems
Dispersion Analysis in Processes of Passive Monitoring and Diagnosing of Enterprise Area Networks Anna V. Babich, Murad Ali A. — Kharkiv National University of RadioElectronics, Ukraine Optimal Fluctuations for Satisfactory Performance under Parameter Uncertainty HJ Kadim - LJMU, Liverpool, UK The Evidential Independent Verification of Software of Information and Control Systems, Critical to Safety: Functional Model of Scenario Konorev Borys, Sergiyenko Volodymyr, Chertkov Georgiy — State Center for Regulation of Supplies and Service Quality, Ukraine On Synthesis of Degradation Aware Circuits at Higher Level of Abstraction Mohammad Abdul Razzaq, Alok Baluni, Virendra Singh — Indian Institute of Science, India Ram Rakesh Jangir — Govt. Polytechnic, India Masahiro Fujita — The University of Tokyo, Japan Efficient Regular Expression Pattern Matching using Cascaded Automata Architecture for Network Intrusion Detection Systems Pawan Kumar and Virendra Singh — Computer
Overview of the Prototyping Technologies for Actel® RTAX-S FPGAs Olga Melnikova — KHNURE, Kharkov, Ukraine Resistance Dependent Delay Behavior of Resistive Open Faults in Multi Voltage Designs Environment
Poster Session Modelling, detection and diagnosis of multiple faults in Cross referencing DMFBs Pranab Roy, Hafizur Rahaman — Bengal Engineering and Science University, Shibpur Parthasarathi Dasgupta — Indian Institute of management, Calcutta A Subsystem for Automated Synthesis of LFSR-Based Test Generator for Deterministic and Pseudorandom Testing Sergey G. Mosin, Natalia V. Chebykina, Maria S. Serina — Vladimir State University (VSU), Russia Design consideration of CMOS low cut-off low pass filter for ECG applications Andranik Hovhannisyan — Synopsys Armenia CJSC, Armenia The Synthesis of Periodic Sequences with Given Correlation Properties V. M. Koshevyy, D. O. Dolzhenko — Odessa national maritime academy, Ukraine OFDM-based Audio Watermarking for Covered Data Transmission in VHF Radiotelephony Oleksandr V. Shishkin, Oleksandr O. Lyashko — Odessa National Maritime Academy, Ukraine The Test Method for Identification of Radiofrequency Wireless Communication Channels Using Volterra Model Vitalij Pavlenko, Viktor Speranskyy and Vladimir Lomovoy — ONPU, ONMA, Odessa, Ukraine Maintaining uniformity in the processes of encryption and decryption with a variable number of encryption rounds L. Smolinski — Institute of Computer Engineering and Electronics, Zielona Gora, Poland Poster Session Method of capacitor calibration for switched capacitor circuits Norayr K. Aslanyan — Synopsys Armenia CJSC, Armenia The Testware CAD Victor Zviagin — Saint-Petersburg StateUniversity on Information Technology, Mechanicsand Optics, Russia Built-in measurement technique for on-chip capacitors Norayr Aslanyan, Andranik Hovhannisyan, Vahram Aharonyan and Hayk Dingchyan —Synopsys Armenia CJSC, Armenia Architecture for an Intelligent Test Error Detection Agent Matthias Kirmse, Uwe Petersohn, Elief Paffrath — Dresden University of Technology, Germany Development Methodology of Interoperable Add-on Tool for Static Verification of Current Density E. Babayan — Synopsys Armenia CJSC, Armenia Debugging and testing features of the dataflow parallel computing system components and devices Levchenko N.N., Okunev A.S., Yakhontov D.E., Zmejev D.N. — Institute for Design Problems in Microelectronics, Russian Academy of Sciences,Russia A Model of Spatial Thinking for Computational Intelligence Kirill A. Sorudeykin — Relevance Research & Development Corp., Kharkov National University of Radio Electronics, Ukraine
СОДЕРЖАНИЕ
жүктеу/скачать 1.28 Mb. Достарыңызбен бөлісу:
|
