Doctor of Philosophy

dissertationRecent breakthroughs in silicon photonics technology are enabling the integration of optical devices into silicon-based semiconductor processes. Photonics technology enables high-speed, high-bandwidth, and high-fidelity communications on the chip-scale-an important development in an increasingly communications-oriented semiconductor world. Significant developments in silicon photonic manufacturing and integration are also enabling investigations into applications beyond that of traditional telecom: sensing, filtering, signal processing, quantum technology-and even optical computing. In effect, we are now seeing a convergence of communications and computation, where the traditional roles of optics and microelectronics are becoming blurred. As the applications for opto-electronic integrated circuits (OEICs) are developed, and manufacturing capabilities expand, design support is necessary to fully exploit the potential of this optics technology. Such design support for moving beyond custom-design to automated synthesis and optimization is not well developed. Scalability requires abstractions, which in turn enables and requires the use of optimization algorithms and design methodology flows. Design automation represents an opportunity to take OEIC design to a larger scale, facilitating design-space exploration, and laying the foundation for current and future optical applications-thus fully realizing the potential of this technology. This dissertation proposes design automation for integrated optic system design. Using a buildingblock model for optical devices, we provide an EDA-inspired design flow and methodologies for optical design automation. Underlying these flows and methodologies are new supporting techniques in behavioral and physical synthesis, as well as device-resynthesis techniques for thermal-aware system integration. We also provide modeling for optical devices and determine optimization and constraint parameters that guide the automation techniques. Our techniques and methodologies are then applied to the design and optimization of optical circuits and devices. Experimental results are analyzed to evaluate their efficacy. We conclude with discussions on the contributions and limitations of the approaches in the context of optical design automation, and describe the tremendous opportunities for future research in design automation for integrated optics

Design of Reconfigurable On-Chip Optical Architectures based on Phase Change Material

Integrated optics is a promising technology to take the advantage of light propagation for high throughput chip-scale computing architectures and interconnects. Optical devices call for reconfigurable architectures to maximize resource utilization. Typical reconfigurable optical computing architectures involve micro-ring resonators for electro-optic modulation. However, such devices require voltage and thermal tuning to compensate for fabrication process variability and thermal sensitivity. To tackle this challenge we propose to use non-volatile Phase Change Material (PCM) to configure optical path. The non-volatility of PCM elements allows maintaining the optical path without consuming energy and the high contrast between two state of crystalline (cr) and amorphous (am) allows to route signal only through the required resonators, thus saving the calibration energy of bypassed resonators. We evaluate the efficiency of PCM based design on Reconfigurable Directed Logic (RDL) and nanophotonic interconnect. We develop a model allowing to estimate optical and electrical energy consumption. In the context of nanophotonic interconnect we evaluate the efficiency of the proposed PCM-based interconnects using system level simulations carried out with SNIPER manycore simulator. Results show that the proposed implementation allows reducing the static power by 53% on average for RDL and communication power saving up to 52% is achieved for nanophotonic interconnect

The Algorithm for Reversible Circuits Synthesis

In this paper the new synthesis method for reversible networks is proposed. The method is suitable to generate optimal circuits. The examples will be shown for three variables reversible functions but the method is scalable to larger number of variables. The algorithm could be easily implemented with high speed execution and without big consuming storage software. Section 1 contains general concepts about the reversible functions. In Section 2 there are presented various descriptions of reversible functions. One of them is the description using partitions. In Section 3 there are introduced the cascade of the reversible gates as the target of the synthesis algorithm. In order to achieve this target the definitions of the rest and remain functions will be helpful. Section 4 contains the proposed algorithm. There is introduced a classification of minterms distribution for a given function. To select the successive gates in the cascade the condition of the improvement the minterms distribution must be fulfilled. Section 4 describes the algorithm how to improve the minterms distributions in order to find the optimal cascade. Section 5 shows the one example of this algorithm

The Method of Reversible Circuits Design with One-gate Prediction

This paper presents an original method of designing reversible circuits. This method is destined to most popular gate set with three types of gates CNT (Control, NOT and Toffoli). The presented algorithm based on graphical representation of the reversible function is called s-maps. This algorithm allows to find optimal or quasi-optimal reversible circuits. The paper is organized as follows. Section 1 recalls basic concepts of reversible logic. Especially the cascade of the gates as realization of reversible function is presented. In Section 2 there  is introduced a classification of minterms distribution. The s-maps are the representation of the reversible functions where the minterms distribution is presented. The choice of the first gate in the  cascade depends on possibility of  improving the distribution. Section 3 describes the algorithm, namely how to find the optimal or quasi-optimal solutions of the given function

Towards the Design Automation of Quantum Circuits

Quantum mechanics based computing systems are expected to have high capabilities and are considered good candidates to replace classical cryptography and supercomputing systems. Among many implementations, quantum optics systems provide a promising platform to implement universal quantum computers, since they link quantum computation and quantum communication in the same framework. Recently, several quantum gates, circuits, and protocols have been experimentally realized using optics. Despite the fact that big advances in building the physical quantum computers were achieved, there are no currently available industrial computer aided tools that can perform the modeling, analysis, and verification of optical quantum computing systems. In this thesis, we tackle the idea of design automation for quantum circuits, where we use a sound language, higher order logic, to model and reason about quantum circuits formally. In particular, we propose a framework for the hierarchical modeling and automated verification of quantum computing circuits. The modeling approach captures quantum models built hierarchically from quantum gates, which models are readily available in a library. The analysis and verification of composed circuits is done seamlessly based on dedicated mathematical foundations formalized in the theorem prover. Specifically, the tensor product and linear projection are used to extract the quantum circuit outputs. Subsequently, a rich library of quantum gates which includes 1-qubit, 2-qubit, and 3-qubit gates is formalized. In order to automate the analysis process, we developed a decision procedure to eliminate the need of user guidance throughout the formal proofs. To demonstrate the effectiveness of the proposed framework, we conduct the formal analysis of a benchmark of quantum circuits including the Shor's integer factorization algorithm, the Grover's oracle, and the quantum full adder

Design and synthesis of reversible logic

Energy lost during computation is an important issue for digital design. Today, all electronics devices suffer from energy lost due to the conventional logic system used. The amount of energy loss in the form of heat leads to immense challenges in nowadays circuit design. To overcome that, reversible logic has been invented. Since properties of reversible logic differ greatly than conventional logic, synthesis methods used for conventional logic cannot be used in reversible logic. In this dissertation, we proposed new synthesis algorithms and several circuit designs using reversible logic

Integrated butt-coupled membrane laser for Indium Phosphide on Silicon platform

In this work we present the design and technology development for an integrated butt-coupled membrane laser in the IMOS (Indium Phosphide Membrane On Silicon) platform . Laser is expected to have a small footprint (less than 50 µm 2 ), 1 mA threshold current and a direct modulation frequency of 10 GHz

Design and Synthesis of Efficient Circuits for Quantum Computers

Οι πρόσφατες εξελίξεις στον τομέα της πειραματικής κατασκευής κβαντικών υπολογιστών με εξαρτήματα αυξημένης αξιοπιστίας δείχνει ότι η κατασκευή τέτοιων μεγάλων μηχανών βασισμένων στις αρχές της κβαντικής φυσικής είναι πιθανή στο κοντινό μέλλον. Καθώς το μέγεθος των μελλοντικών κβαντικών υπολογιστών θα αυξάνεται, η σχεδίαση αποδοτικότερων κβαντικών κυκλωμάτων και μεθόδων σχεδίασης θα αποκτήσει σταδιακά πρακτικό ενδιαφέρον. Η συνεισφορά της διατριβής στην κατεύθυνση της σχεδίασης αποδοτικών κβαντικών κυκλωμάτων είναι διττή: Η πρώτη είναι η σχεδίαση καινοτόμων αποδοτικών αριθμητικών κβαντικών κυκλωμάτων βασισμένων στον Κβαντικό Μετασχηματισμό Fourier (QFT), όπως πολλαπλασιαστής-με-σταθερά-συσσωρευτής (MAC) και διαιρέτης με σταθερά, με γραμμικό βάθος (ή ταχύτητα) ως προς τον αριθμό ψηφίων των ακεραίων. Αυτά τα κυκλώματα συνδυάζονται αποτελεσματικά ώστε να επιτελέσουν την πράξη του modulo πολλαπλασιασμού με σταθερά με γραμμική πολυπλοκότητα χρόνου και χώρου και συνεπώς μπορούν να επιτελέσουν την πράξη της modulo εκθετικοποίησης (modular exponentiation) με τετραγωνική πολυπλοκότητα χρόνου και γραμμική πολυπλοκότητα χώρου. Οι πράξεις της modulo εκθετικοποίησης και του modulo πολλαπλασιασμού είναι αναπόσπαστα μέρη του σημαντικού κβαντικού αλγορίθμου παραγοντοποίησης του Shor, αλλά και άλλων κβαντικών αλγορίθμων της ίδιας οικογένειας, γνωστών ως κβαντική εκτίμηση φάσης (Quantum Phase Estimation). Αντιμετωπίζονται με αποτελεσματικό τρόπο σημαντικά προβλήματα υλοποίησης, που σχετίζονται με την απαίτηση χρήσης κβαντικών πυλών περιστροφής υψηλής ακρίβειας, καθώς και της χρήσης τοπικών επικοινωνιών. Η δεύτερη συνεισφορά της διατριβής είναι μία γενική μεθοδολογία ιεραρχικής σύνθεσης κβαντικών και αντιστρέψιμων κυκλωμάτων αυθαίρετης πολυπλοκότητας και μεγέθους. Η ιεραρχική μέθοδος σύνθεσης χειρίζεται καλύτερα μεγάλα κυκλώματα σε σχέση με τις επίπεδες μεθόδους σύνθεσης. Η προτεινόμενη μέθοδος προσφέρει πλεονεκτήματα σε σχέση με τις συνήθεις ιεραρχικές συνθέσεις που χρησιμοποιούν την μέθοδο "υπολογισμός-αντιγραφή-αντίστροφος υπολογισμός" του Bennett.The recent advances in the field of experimental construction of quantum computers with increased fidelity components shows that large-scale machines based on the principles of quantum physics are likely to be realized in the near future. As the size of the future quantum computers will be increased, efficient quantum circuits and design methods will gradually gain practical interest. The contribution of this thesis towards the design of efficient quantum circuits is two-fold. The first is the design of novel efficient quantum arithmetic circuits based on the Quantum Fourier Transform (QFT), like multiplier-with-constant-and-accumulator (MAC) and divider by constant, both of linear depth (or speed) with respect with the bits number of the integer operands. These circuits are effectively combined so as they can perform modular multiplication by constant in linear depth and space and consequently modular exponentiation in quadratic time and linear space. Modular exponentiation and modular multiplication operations are integral parts of the important quantum factorization algorithm of Shor and other quantum algorithms of the same family, known as Quantum Phase Estimation algorithms. Important implementation problems like the required high accuracy of the employed rotation quantum gates and the local communications between the gates are effectively addressed. The second contribution of this thesis is a generic hierarchical synthesis methodology for arbitrary complex and large quantum and reversible circuits. The methodology can handle more easily larger circuits relative to the flat synthesis methods. The proposed method offers advantages over the standard hierarchical synthesis which uses Bennett's method of "compute-copy-uncompute"

Carbon-Based Nanomaterials for (Bio)Sensors Development

Carbon-based nanomaterials have been increasingly used in sensors and biosensors design due to their advantageous intrinsic properties, which include, but are not limited to, high electrical and thermal conductivity, chemical stability, optical properties, large specific surface, biocompatibility, and easy functionalization. The most commonly applied carbonaceous nanomaterials are carbon nanotubes (single- or multi-walled nanotubes) and graphene, but promising data have been also reported for (bio)sensors based on carbon quantum dots and nanocomposites, among others. The incorporation of carbon-based nanomaterials, independent of the detection scheme and developed platform type (optical, chemical, and biological, etc.), has a major beneficial effect on the (bio)sensor sensitivity, specificity, and overall performance. As a consequence, carbon-based nanomaterials have been promoting a revolution in the field of (bio)sensors with the development of increasingly sensitive devices. This Special Issue presents original research data and review articles that focus on (experimental or theoretical) advances, challenges, and outlooks concerning the preparation, characterization, and application of carbon-based nanomaterials for (bio)sensor development

Développement de cristaux photoniques en diamant : modélisation, technologie et application à la biodétection

The ability to fabricate optical devices enabling the real time detection of chemical interactions,avoiding the use of markers, has motivated a growing interest. In particular, photonic crystals (PhC)based structures are promising candidates for such applications. Unlike silicon, that has currentlybeen used for most of these demonstrations, diamond offers a high stability and a versatile carbonsurface that can be functionalized to covalently bond specific organic or bio-molecules on its surface.In this context, this thesis aims at studying the interests of diamond for the realization of novel 2DPhC dedicated to biodetection applications. A fully monolithic compact photonic platform, integratedon silicon and optimized to work at wavelength of 1.55 μm was developed. A geometry consistingin a slotted cavity was chosen in order to maximize the sensitivity of such photonic structures totheir environment. Numerical methods allowed to determine the geometrical parameters of the PhC.Diamond microstructuration processes of polycrystalline diamond films deposited on two-inch siliconwafers were developed and optimized for the realization of PhC cavities with quality factors up to6500. Two technological processes specifically dedicated to polycrystalline diamond were developed : asmoothing process and a diamond layer on insulator integration by wafer bonding technology process.The optical sensitivity of diamond PhCs to simple surface modifications was studied and showed that,depending on the chemical surface termination, these diamond PhCs exhibit a strong modification oftheir spectral features. A proof of concept for surface detection in a water environment was realizedusing the biotin/streptavidin biorecognition system. The detection limit of the system was estimatedto be 10 μg/mL. Finally, first steps to detection in the visible range were made with the realization ofPhC working at 600 nm and exhibiting Q factors exceeding 1500.La possibilité de fabriquer des dispositifs optiques pour la détection d’interactions chimiques,sans marquage et en temps réel, présente un intérêt croissant. Notamment, les cristaux photoniques(CPh) présentent un fort potentiel pour une telle application. Contrairement au silicium, majoritairementexploité pour la réalisation de telles structures, le diamant possède l’avantage d’avoir unesurface carbonée biocompatible permettant une fonctionnalisation covalente et stable de biomoléculesspécifiques. Dans ce contexte, cette thèse vise à étudier la potentialité qu’offre ce matériau pour la réalisationde CPh 2D destinés à des applications de biodétection. Pour cela, une plateforme photoniquemonolithique compacte, intégrable sur silicium et optimisée pour un fonctionnement aux longueursd’onde proches de 1.55 μm a été développée. Une géométrie de cavité à fente a été retenue afin demaximiser la sensibilité des structures photoniques à leur environnement extérieur. Des méthodesnumériques ont permis de préciser les paramètres géométriques des CPh. Des procédés de microstructurationde films minces de diamant polycristallin sur substrat silicium 2 pouces ont été développéset optimisés, pour aboutir à la réalisation de CPh caractérisés par des facteurs de qualité pouvantatteindre 6500. Deux procédés technologiques spécifiques aux films de diamant polycristallin ont notammentété développés : un procédé de lissage et un procédé de transfert de films de diamant surisolant. La sensibilité optique des CPh en diamant à une modification chimique de surface a ensuiteété étudiée et a tout d’abord montré une forte dépendance de leurs performances optiques à de simplesvariations des terminaisons chimiques du matériau. Par la suite, une preuve de concept de détectionsurfacique de protéines en milieu liquide par les CPh en diamant a été réalisée en utilisant le systèmede bioreconnaissance biotine/streptavidine, donnant une limite de détection estimée pour le systèmeà 10 μg/mL. Enfin, des travaux préliminaires de détection dans le visible ont été engagés via la réalisationde cavités à CPh fonctionnant à 600 nm, présentant déjà des facteurs de qualité dépassant les1500