Minimization of lines in reversible circuits

Reversible computing has been theoretically shown to be an efficient approach over conventional computing due to the property of virtually zero power dissipation. A major concern in reversible circuits is the number of circuit lines or qubits which are a limited resource. In this thesis we explore the line reduction problem using a decision diagram based synthesis approach and introduce a line reduction algorithm— Minimization of lines using Ordered Kronecker Functional Decision Diagrams (MOKFDD). The algorithm uses a new sub-circuit for a positive Davio node structure in addition to the existing node structures. We also present a shared node ordering for OKFDDs. OKFDDs are a combination of OBDDs and OFDDs. The experimental results shows that the number of circuit lines and quantum cost can be reduced with our proposed approach.NSER

Logic Synthesis for Established and Emerging Computing

Logic synthesis is an enabling technology to realize integrated computing systems, and it entails solving computationally intractable problems through a plurality of heuristic techniques. A recent push toward further formalization of synthesis problems has shown to be very useful toward both attempting to solve some logic problems exactly--which is computationally possible for instances of limited size today--as well as creating new and more powerful heuristics based on problem decomposition. Moreover, technological advances including nanodevices, optical computing, and quantum and quantum cellular computing require new and specific synthesis flows to assess feasibility and scalability. This review highlights recent progress in logic synthesis and optimization, describing models, data structures, and algorithms, with specific emphasis on both design quality and emerging technologies. Example applications and results of novel techniques to established and emerging technologies are reported

New Data Structures and Algorithms for Logic Synthesis and Verification

The strong interaction between Electronic Design Automation (EDA) tools and Complementary Metal-Oxide Semiconductor (CMOS) technology contributed substantially to the advancement of modern digital electronics. The continuous downscaling of CMOS Field Effect Transistor (FET) dimensions enabled the semiconductor industry to fabricate digital systems with higher circuit density at reduced costs. To keep pace with technology, EDA tools are challenged to handle both digital designs with growing functionality and device models of increasing complexity. Nevertheless, whereas the downscaling of CMOS technology is requiring more complex physical design models, the logic abstraction of a transistor as a switch has not changed even with the introduction of 3D FinFET technology. As a consequence, modern EDA tools are fine tuned for CMOS technology and the underlying design methodologies are based on CMOS logic primitives, i.e., negative unate logic functions. While it is clear that CMOS logic primitives will be the ultimate building blocks for digital systems in the next ten years, no evidence is provided that CMOS logic primitives are also the optimal basis for EDA software. In EDA, the efficiency of methods and tools is measured by different metrics such as (i) the result quality, for example the performance of a digital circuit, (ii) the runtime and (iii) the memory footprint on the host computer. With the aim to optimize these metrics, the accordance to a specific logic model is no longer important. Indeed, the key to the success of an EDA technique is the expressive power of the logic primitives handling and solving the problem, which determines the capability to reach better metrics. In this thesis, we investigate new logic primitives for electronic design automation tools. We improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. We develop synthesis tools exploiting the majority and biconditional expressiveness. Our tools show strong results as compared to state-of-the-art academic and commercial synthesis tools. Indeed, we produce the best results for several public benchmarks. On top of the enhanced synthesis power, our methods are the natural and native logic abstraction for circuit design in emerging nanotechnologies, where majority and biconditional logic are the primitive gates for physical implementation. We accelerate formal methods by (i) studying properties of logic circuits and (ii) developing new frameworks for logic reasoning engines. We prove non-trivial dualities for the property checking problem in logic circuits. Our findings enable sensible speed-ups in solving circuit satisfiability. We develop an alternative Boolean satisfiability framework based on majority functions. We prove that the general problem is still intractable but we show practical restrictions that can be solved efficiently. Finally, we focus on reversible logic where we propose a new equivalence checking approach. We exploit the invertibility of computation and the functionality of reversible gates in the formulation of the problem. This enables one order of magnitude speed up, as compared to the state-of-the-art solution. We argue that new approaches to solve EDA problems are necessary, as we have reached a point of technology where keeping pace with design goals is tougher than ever

The 1991 3rd NASA Symposium on VLSI Design

Papers from the symposium are presented from the following sessions: (1) featured presentations 1; (2) very large scale integration (VLSI) circuit design; (3) VLSI architecture 1; (4) featured presentations 2; (5) neural networks; (6) VLSI architectures 2; (7) featured presentations 3; (8) verification 1; (9) analog design; (10) verification 2; (11) design innovations 1; (12) asynchronous design; and (13) design innovations 2

Non-covalent interactions in organotin(IV) derivatives of 5,7-ditertbutyl- and 5,7-diphenyl-1,2,4-triazolo[1,5-a]pyrimidine as recognition motifs in crystalline self- assembly and their in vitro antistaphylococcal activity

Non-covalent interactions are known to play a key role in biological compounds due to their stabilization of the tertiary and quaternary structure of proteins [1]. Ligands similar to purine rings, such as triazolo pyrimidine ones, are very versatile in their interactions with metals and can act as model systems for natural bio-inorganic compounds [2]. A considerable series (twelve novel compounds are reported) of 5,7-ditertbutyl-1,2,4-triazolo[1,5-a]pyrimidine (dbtp) and 5,7-diphenyl- 1,2,4-triazolo[1,5-a]pyrimidine (dptp) were synthesized and investigated by FT-IR and 119Sn M\uf6ssbauer in the solid state and by 1H and 13C NMR spectroscopy, in solution [3]. The X-ray crystal and molecular structures of Et2SnCl2(dbtp)2 and Ph2SnCl2(EtOH)2(dptp)2 were described, in this latter pyrimidine molecules are not directly bound to the metal center but strictly H-bonded, through N(3), to the -OH group of the ethanol moieties. The network of hydrogen bonding and aromatic interactions involving pyrimidine and phenyl rings in both complexes drives their self-assembly. Noncovalent interactions involving aromatic rings are key processes in both chemical and biological recognition, contributing to overall complex stability and forming recognition motifs. It is noteworthy that in Ph2SnCl2(EtOH)2(dptp)2 \u3c0\u2013\u3c0 stacking interactions between pairs of antiparallel triazolopyrimidine rings mimick basepair interactions physiologically occurring in DNA (Fig.1). M\uf6ssbauer spectra suggest for Et2SnCl2(dbtp)2 a distorted octahedral structure, with C-Sn-C bond angles lower than 180\ub0. The estimated angle for Et2SnCl2(dbtp)2 is virtually identical to that determined by X-ray diffraction. Ph2SnCl2(EtOH)2(dptp)2 is characterized by an essentially linear C-Sn-C fragment according to the X-ray all-trans structure. The compounds were screened for their in vitro antibacterial activity on a group of reference staphylococcal strains susceptible or resistant to methicillin and against two reference Gramnegative pathogens [4] . We tested the biological activity of all the specimen against a group of staphylococcal reference strains (S. aureus ATCC 25923, S. aureus ATCC 29213, methicillin resistant S. aureus 43866 and S. epidermidis RP62A) along with Gram-negative pathogens (P. aeruginosa ATCC9027 and E. coli ATCC25922). Ph2SnCl2(EtOH)2(dptp)2 showed good antibacterial activity with a MIC value of 5 \u3bcg mL-1 against S. aureus ATCC29213 and also resulted active against methicillin resistant S. epidermidis RP62A