Fast Adjustable NPN Classification Using Generalized Symmetries

NPN classification of Boolean functions is a powerful technique used in many logic synthesis and technology mapping tools in FPGA design flows. Computing the canonical form of a function is the most common approach of Boolean function classification. In this paper, a novel algorithm for computing NPN canonical form is proposed. By exploiting symmetries under different phase assignments and higher-order symmetries of Boolean functions, the search space of NPN canonical form computation is pruned and the runtime is dramatically reduced. The algorithm can be adjusted to be a slow exact algorithm or a fast heuristic algorithm with lower quality. For exact classification, the proposed algorithm achieves a 30× speedup compared to a state-of-the-art algorithm. For heuristic classification, the proposed algorithm has similar performance as the state-of-the-art algorithm with a possibility to trade runtime for quality

Fast Exact NPN Classification with Influence-aided Canonical Form

NPN classification has many applications in the synthesis and verification of digital circuits. The canonical-form-based method is the most common approach, designing a canonical form as representative for the NPN equivalence class first and then computing the transformation function according to the canonical form. Most works use variable symmetries and several signatures, mainly based on the cofactor, to simplify the canonical form construction and computation. This paper describes a novel canonical form and its computation algorithm by introducing Boolean influence to NPN classification, which is a basic concept in analysis of Boolean functions. We show that influence is input-negation-independent, input-permutation-dependent, and has other structural information than previous signatures for NPN classification. Therefore, it is a significant ingredient in speeding up NPN classification. Experimental results prove that influence plays an important role in reducing the transformation enumeration in computing the canonical form. Compared with the state-of-the-art algorithm implemented in ABC, our influence-aided canonical form for exact NPN classification gains up to 5.5x speedup.Comment: To be appeared in ICCAD'2

Group theoretical approach to pairing and non-linear phenomena in atomic nuclei

The symplectic sp(4) algebra provides a natural framework for studying proton-neutron (pn) and like-nucleon pairing correlations as well as higher-J pn interactions in nuclei when protons and neutrons occupy the same shell. While these correlations manifest themselves most clearly in the binding energies of 0+ ground states, they also have a large effect on the spectra of excited isobaric analog 0+ states. With a view towards nuclear structure applications, a fermion realization of sp(4) is explored and its q-deformed extension, sp(4)q, is constructed for single and multiple shells. The su(2)(q) substructures that enter are associated with isospin symmetry and with identical-particle and pn pairing. We suggest a non-deformed as well as a q-deformed algebraic descriptions of pairing for even-A nuclei of the mass 32 \u3c A \u3c 164 region. A Hamiltonian with a symplectic dynamical symmetry is constructed and its eigenvalues are fit to the relevant Coulomb corrected experimental 0+ state energies in both the “classical” and “deformed” cases. While the non-deformed microscopic theory yields results that are comparable to other models for light nuclei, the present approach succeeds in providing a reasonable estimate for interaction strength parameters as well as a detailed investigation of isovector pairing, symmetry energy and symmetry breaking effects. It also reproduces the relevant ground and excited 0+ state energies and predicts some that are not yet measured. The model successfully interprets fine features driven by pairing correlations and higher-J nuclear interactions. In a classification scheme that is inherent to the sp(4) algebraic approach, a finite energy difference technique is used to investigate two-particle separation energies, irregularities found around the N = Z region, and like-particle and pn isovector pairing gaps. The analysis identifies a prominent staggering behavior between groups of even-even and odd-odd nuclides that is due to discontinuities in the pairing and symmetry terms. While the “classical” limit of the theory provides good overall results, the analysis also shows that q-deformation can be used to gain a better understanding of higher-order effects in the interaction within each individual nucleus

Energy-Efficient Digital Circuit Design using Threshold Logic Gates

abstract: Improving energy efficiency has always been the prime objective of the custom and automated digital circuit design techniques. As a result, a multitude of methods to reduce power without sacrificing performance have been proposed. However, as the field of design automation has matured over the last few decades, there have been no new automated design techniques, that can provide considerable improvements in circuit power, leakage and area. Although emerging nano-devices are expected to replace the existing MOSFET devices, they are far from being as mature as semiconductor devices and their full potential and promises are many years away from being practical. The research described in this dissertation consists of four main parts. First is a new circuit architecture of a differential threshold logic flipflop called PNAND. The PNAND gate is an edge-triggered multi-input sequential cell whose next state function is a threshold function of its inputs. Second a new approach, called hybridization, that replaces flipflops and parts of their logic cones with PNAND cells is described. The resulting \hybrid circuit, which consists of conventional logic cells and PNANDs, is shown to have significantly less power consumption, smaller area, less standby power and less power variation. Third, a new architecture of a field programmable array, called field programmable threshold logic array (FPTLA), in which the standard lookup table (LUT) is replaced by a PNAND is described. The FPTLA is shown to have as much as 50% lower energy-delay product compared to conventional FPGA using well known FPGA modeling tool called VPR. Fourth, a novel clock skewing technique that makes use of the completion detection feature of the differential mode flipflops is described. This clock skewing method improves the area and power of the ASIC circuits by increasing slack on timing paths. An additional advantage of this method is the elimination of hold time violation on given short paths. Several circuit design methodologies such as retiming and asynchronous circuit design can use the proposed threshold logic gate effectively. Therefore, the use of threshold logic flipflops in conventional design methodologies opens new avenues of research towards more energy-efficient circuits.Dissertation/ThesisDoctoral Dissertation Computer Science 201

Hadron models and related New Energy issues

The present book covers a wide-range of issues from alternative hadron models to their likely implications in New Energy research, including alternative interpretation of lowenergy reaction (coldfusion) phenomena. The authors explored some new approaches to describe novel phenomena in particle physics. M Pitkanen introduces his nuclear string hypothesis derived from his Topological Geometrodynamics theory, while E. Goldfain discusses a number of nonlinear dynamics methods, including bifurcation, pattern formation (complex GinzburgLandau equation) to describe elementary particle masses. Fu Yuhua discusses a plausible method for prediction of phenomena related to New Energy development. F. Smarandache discusses his unmatter hypothesis, and A. Yefremov et al. discuss Yang-Mills field from Quaternion Space Geometry. Diego Rapoport discusses theoretical link between Torsion fields and Hadronic Mechanic. A.H. Phillips discusses semiconductor nanodevices, while V. and A. Boju discuss Digital Discrete and Combinatorial methods and their likely implications in New Energy research. Pavel Pintr et al. describe planetary orbit distance from modified Schrödinger equation, and M. Pereira discusses his new Hypergeometrical description of Standard Model of elementary particles. The present volume will be suitable for researchers interested in New Energy issues, in particular their link with alternative hadron models and interpretation

Semiconductor Spintronics

Spintronics refers commonly to phenomena in which the spin of electrons in a solid state environment plays the determining role. In a more narrow sense spintronics is an emerging research field of electronics: spintronics devices are based on a spin control of electronics, or on an electrical and optical control of spin or magnetism. This review presents selected themes of semiconductor spintronics, introducing important concepts in spin transport, spin injection, Silsbee-Johnson spin-charge coupling, and spindependent tunneling, as well as spin relaxation and spin dynamics. The most fundamental spin-dependent nteraction in nonmagnetic semiconductors is spin-orbit coupling. Depending on the crystal symmetries of the material, as well as on the structural properties of semiconductor based heterostructures, the spin-orbit coupling takes on different functional forms, giving a nice playground of effective spin-orbit Hamiltonians. The effective Hamiltonians for the most relevant classes of materials and heterostructures are derived here from realistic electronic band structure descriptions. Most semiconductor device systems are still theoretical concepts, waiting for experimental demonstrations. A review of selected proposed, and a few demonstrated devices is presented, with detailed description of two important classes: magnetic resonant tunnel structures and bipolar magnetic diodes and transistors. In most cases the presentation is of tutorial style, introducing the essential theoretical formalism at an accessible level, with case-study-like illustrations of actual experimental results, as well as with brief reviews of relevant recent achievements in the field.Comment: tutorial review; 342 pages, 132 figure

Developing an electron multipacting-free cathode unit of the superconducting radio frequency photoinjector

Future light sources such as synchrotron radiation sources have in common that they require injectors, which provide high-brilliance, high-current electron beams in almost continuous operation. Superconducting radio frequency photoinjector (SRF gun) provided a promising approach. However, some limitations occur caused by electron multipacting in the cathode vicinity, which prevent the superconducting radio frequency photoinjector (SRF gun) from maximum productivity. The aim of this thesis is to develop a new design of the photocathode channel

Investigation of application of two-degree-of-freedom dry tuned-gimbal gyroscopes to strapdown navigation systems

The work is described which was accomplished during the investigation of the application of dry-tuned gimbal gyroscopes to strapdown navigation systems. A conventional strapdown configuration, employing analog electronics in conjunction with digital attitude and navigation computation, was examined using various levels of redundancy and both orthogonal and nonorthogonal sensor orientations. It is concluded that the cost and reliability performance constraints which had been established could not be met simultaneously with such a system. This conclusion led to the examination of an alternative system configuration which utilizes an essentially new strapdown system concept. This system employs all-digital signal processing in conjunction with the newly-developed large scale integration (LSI) electronic packaging techniques and a new two-degree-of-freedom dry tuned-gimbal instrument which is capable of providing both angular rate and acceleration information. Such a system is capable of exceeding the established performance goals

Belle II Technical Design Report

The Belle detector at the KEKB electron-positron collider has collected almost 1 billion Y(4S) events in its decade of operation. Super-KEKB, an upgrade of KEKB is under construction, to increase the luminosity by two orders of magnitude during a three-year shutdown, with an ultimate goal of 8E35 /cm^2 /s luminosity. To exploit the increased luminosity, an upgrade of the Belle detector has been proposed. A new international collaboration Belle-II, is being formed. The Technical Design Report presents physics motivation, basic methods of the accelerator upgrade, as well as key improvements of the detector.Comment: Edited by: Z. Dole\v{z}al and S. Un