Synthesis and Test of Quantum Circuits Dr. Marek Perkowski and Dr. Xiaoyu Song Quantum Braitenberg Automata Robots use.

Slides:

Advertisements

Similar presentations

Reversible Gates in various realization technologies

Advertisements

Synthesis of Reversible Synchronous Counters Mozammel H A Khan Department of Computer Science and Engineering, East West University, 43 Mohakhali, Dhaka.

Realization of Incompletely Specified Reversible Functions Manjith Kumar Ying Wang Natalie Metzger Bala Iyer Marek Perkowski Portland Quantum Logic Group.

QUANTUM ROBOTICS IN ROBOT THEATRE. Quantum Logic Binary Logic Fuzzy Logic Quantum Signals and Automata 0, 1 [0,1] Hilbert Space, Bloch Sphere.

Hardware/Software System Design and Validation Dr. Xiaoyu Song Networked Sensors Architecture Platform based on Component-based.

Designing Oracles for Grover Algorithm

GF(4) Based Synthesis of Quaternary Reversible/Quantum Logic Circuits

A Transformation Based Algorithm for Reversible Logic Synthesis D. Michael Miller Dmitri Maslov Gerhard W. Dueck Design Automation Conference, 2003.

Derivatives of Perkowski’s Gate k f2 g h t t De Vos gates  f1f1  A B P Q Feynman gates A B P f 2f 2  C Q R Toffoli gates Q P f 2 A C R B S D 0.

Nov. 29, 2005 ELEC Class Presentation 1 Logic Redesign for Low Power ELEC 6970 Project Presentation By Nitin Yogi.

Reversible Computation Computational Group Theory and Circuit Synthesis.

Synthesis of Reversible Synchronous Counters Mozammel H. A. Khan East West University, Bangladesh Marek Perkowski Portland State University,

Assignment II Integrated Circuits Design Ping-Hsiu Lee Reagan High School, Houston I. S. D. Deborah Barnett Tidehaven High School, Tidehaven I. S. D. Faculty.

Ternary Deutsch’s, Deutsch-Jozsa and Affine functions Problems All those problems are not published yet.

Design Automation for VLSI, MS-SOCs & Nanotechnologies Dr. Malgorzata Chrzanowska-Jeske Mixed-Signal System-on-Chip (supported.

Intelligent Robotics and Embedded Systems Dr. Marek Perkowski and Dr. Douglas Hall

Logic Synthesis for Programmable Devices Onur Bay & Debatosh Debnath

Department Overview Richard Campbell Richard Campbell Research Associate Professor (2004) Cascade Microtech, Inc. Ph.D. 1984, University.

Regular Structures. Levelized Structures Standard Lattice Diagrams for continuous, multiple-valued and binary logic.

Quantum Behaviors: synthesis and measurement Martin Lukac Normen Giesecke Sazzad Hossain and Marek Perkowski Department of Electrical Engineering Portland.

Design of Regular Quantum Circuits

Ugur Kalay, Marek Perkowski, Douglas Hall Universally Testable AND-EXOR Networks Portland State University Speaker: Alan Mishchenko.

“Dunarea de Jos” University of Galati-Romania Faculty of Electrical & Electronics Engineering Dep. of Electronics and Telecommunications Assoc. Prof. Rustem.

ENEE 644 Dr. Ankur Srivastava Office: 1349 A.V. Williams URL: Computer-Aided Design of.

Research Potential We should develop a set of unified standardized CAD tools for synthesizing, verifying, testing and simulating of quantum computers.

Medical Informatics Basics

Challenges in Implementation of FPAA/FPGA Mixed-signal Technology

Introduction to Computer and Programming CS-101 Lecture 6 By : Lecturer : Omer Salih Dawood Department of Computer Science College of Arts and Science.

1 IEEE Intelligent Transportation Systems (ITS) Council, International Collaboration to help People Travel Smarter Daniel J Dailey Ph.D. Past President.

Research in Computing Discipline Prabhas Chongstitvatana.

C OMPUTER S CIENCE, C OMPUTER E NGINEERING, I NFORMATION T ECHNOLOGY AND S YSTEMS, F LOW OF C ONTROL, B ATCH AND I NTERACTIVE P ROCESSING Week 5 Mr. Mohammed.

Logical Circuit Design Week 5: Combinational Logic Circuits Mentor Hamiti, MSc Office ,

Soft Computing and Expert System Laboratory Indian Institute of Information Technology and Management Gwalior MTech Thesis Fourth Evaluation Fusion of.

Shashi Kumar 1 Logic Synthesis: Course Introduction Shashi Kumar Embedded System Group Department of Electronics and Computer Engineering Jönköping Univ.

REVERSIBLE LOGIC SYNTHESIS. Overview of the Presentation 1. Introduction 2. Design of a Reversible Full-adder Circuit.

International Conference EURO Mini Conference “Continuous Optimization and Knowledge Based Technologies” EurOPT-2008 May 20-23, 2008, Neringa, LITHUANIA.

Mehdi Ghayoumi MSB rm 132 Ofc hr: Thur, a Machine Learning.

40551 Logic Synthesis Optimization Dr. Yaser M. Agami Khalifa Fall 2004 Lecture # 1.

Petr Dostal Prof. Ing. Dostál Petr CSc. Professor of Economy and Management Brno University of Technology Faculty of Business and Management Institute.

ELEC692/04 course_des 1 ELEC 692 Special Topic VLSI Signal Processing Architecture Fall 2004 Chi-ying Tsui Department of Electrical and Electronic Engineering.

ICDM 2003 Review Data Analysis - with comparison between 02 and 03 - Xindong Wu and Alex Tuzhilin Analyzed by Shusaku Tsumoto.

Combinational Problems: Unate Covering, Binate Covering, Graph Coloring and Maximum Cliques Example of application: Decomposition.

Lecture Notes in Computer Science Lecture Notes in Computer Science (ISSN ), in short LNCS, is the LNCS series with subseries of Artificial.

Chapter 0 deSiGn conCepTs EKT 221 / 4 DIGITAL ELECTRONICS II.

Acad. G. Bonchev St., Block 2, 1113 – Sofia, BULGARIA Phone/fax: (+359 2)

Design of a Reversible Binary Coded Decimal Adder by Using Reversible 4-bit Parallel Adder Babu, H. M. H. Chowdhury, A.R, “Design of a reversible binary.

Kaifeng Chen Institute for Theoretical Physics Synthetic Biology with Engineering Tools 1 Francis Chen.

CSI Evolutionary Computation Fall Semester, 2011.

Generating Toffoli Networks from ESOP Expressions Yasaman Sanaee Winter 2009 University of New Brunswick.

FPGA CAD 10-MAR-2003.

Garbage in Reversible Designs of Multiple Output Functions

Intelligent Control Methods Lecture 1: Introduction. Reasons for ICM, Basic Concepts Slovak University of Technology Faculty of Material Science and Technology.

제 2 주. 인공생명의 개요 Research into models and algorithms of artificial life H. Jiyang, H. Haiying and F. Yongzhe, Artificial Intelligence in Engineering, vol.

Date of presentation 1 PROJECT IDEA Project name: Development of information support system for decision-making in the socio-economic environment. Proposal.

NSF International Research Network Connections (IRNC) Program: TransLight/StarLight Maxine D. Brown and Thomas A. DeFanti Electronic Visualization Laboratory.

Speaker: Nansen Huang VLSI Design and Test Seminar (ELEC ) March 9, 2016 Simulation-Based Equivalence Checking.

A Synthesis Method for MVL Reversible Logic by 1 Department of Computer Science, University of Victoria, Canada M. Miller 1, G. Dueck 2, and D. Maslov.

Sub-fields of computer science. Sub-fields of computer science.

TC on Multiple-Valued Logic

Kwei-Jay (KJ) Lin Co-Chair, TCEC Univ. California, Irvine

Combinational Logic Design

TC on Business Informatics and Systems

4-1 LOGIC OPERATIONS In Chapter 3 we discussed the fact that data inside a computer is stored as patterns of bits. Logic operations refer to those operations.

Kerntopf Gate and Regular Structures for Symmetric Functions

IEEE Transactions on Evolutionary Computation Status Report

Lecture 20: Combinatorial Circuits I

GCSE Computer Science – Logic Gates & Boolean Expressions

Chapter 10.3 and 10.4: Combinatorial Circuits

Speaker: I-Chyn Wey Advisor: An-Yeu Wu Date : 2007/03/07

Sajib Kumar Mitra, Lafifa Jamal and Hafiz Md. Hasan Babu*

Presentation transcript:

Synthesis and Test of Quantum Circuits Dr. Marek Perkowski and Dr. Xiaoyu Song Quantum Braitenberg Automata Robots use concepts from quantum computing to solve problems and present emotional behaviors Our research in the area of quantum computing will develop computer aided design tools for quantum circuits and systems which will be similar in use to the design automation tools for VLSI that are used now in industry. Portland Quantum Logic Group is the group of international researchers from countries like USA, Canada, Japan, Korea, Poland, Germany, The Netherlands, Bangladesh, China, Russia, Jordan, Estonia and Ukraine interested in technical aspects of future quantum computers. The research issues include: Synthesis of quantum and reversible circuits from high level specifications Quantum Automata and their applications Testing quantum circuits Quantum Algorithms for NP-hard problems, especially CAD problems. Quantum Image Processing and Transforms. This research area includes Logic and System design of VLSI circuits, Field Programmable Gate Array circuits and Quantum Computers. Particular recent projects include synthesis and test of quantum circuits, reversible logic, quantum algorithms, Quantum Computational Intelligence, Evolutionary, Quantum-Inspired and Biologically-Motivated Algorithms for circuit design, and Multiple-Valued logic. Past funding came from NSF (three times), US Air Force Office of Scientific Research, Sharp Microelectronics and others. Good programming skills and certain liking of mathematics are expected from students who want to work in this area. Cluster built by students to investigate parallel evolutionary algorithms for quantum circuits synthesis and simulation of quantum circuits and algorithms Selected Publications S. Lee, S.J. Lee, T. Kim, J-S Lee, J. Biamonte, M. Perkowski, "The Cost of Quantum Gate Primitives," Journal of Multi-valued Logic and Soft Computing, J. Biamonte, M. Perkowski, "Automated Test Pattern Generation for Quantum Circuits," McNair Research Journal, Vol. 1, Issue 1, A. N. Al-Rabadi, M. Perkowski, "New Families of Reversible Expansions and their Regular Lattice Circuits," Journal of Multiple-Valued Logic and Soft Computing (MVLSC), U.S.A., Volume 11, Number 3-4, G. Yang, X. Song, M. Perkowski, J. Wu, "Realizing ternary quantum switching networks without ancilla bits," Journal of Physics A. Mathematical and General, W. Hung, X. Song, G. Yang, M. Perkowski, "Optimal Synthesis of multiple output boolean functions using a set of quantum gates by symbolic reachability analysis," IEEE Transactions on Computer- Aided Design, 2006 G. Yang, W. Hung, X. Song, M. Perkowski, "Majority-Based Reversible Logic Gates," Theoretical Computer Science C. 334(1-3), pp , ISSN , April 15, X. Song, G, Yang, M. Perkowski, "Algebraic Characteristics of Reversible Gates,'' Accepted to Theory of Computing Systems (Mathematical Systems Theory, Springer Verlag. First published on Online Test, ISSN , M. Khan, M. Perkowski, M. Khan, P. Kerntopf, "Ternary GFSOP Minimization using Kronecker Decision Diagrams and Their Synthesis with Quantum Cascades," MVL Journal Special Issue, ISSN P. Kerntopf, M. Perkowski, M. H. A. Khan. "Universality of ternary reversible gates," Accepted to special issue of International Journal on Multiple-Valued Logic and Soft Computing, Svetlana Yanushkevich, editor, ISSN A. Al-Rabadi, L. Casperson, M. Perkowski, "Multiple-valued quantum logic," Quantum Computers and Computing, Vol. 3, Number 1. W. Hung, X. Song, M. Perkowski, "Reachability Analysis for reversible minimization," Proceedings of DAC 2004, June 2004, San Diego, California. M. Lukac, M. Perkowski, H. Goi, M. Pivtoraiko, C. H. Yu, K. Chung, H. Jee, B-G Kim, Y-D Kim, "Evolutionary Approach to Quantum and Reversible Circuits Synthesis," Artificial Intelligence Review Journal, Special Issue on Artificial Intelligence in Logic Design, S. Yanushkevich guest editor, ISSN , 2003.