Transparent In-Circuit Assertions for FPGAs

Commonly used in software design, assertions are statements placed into a design to ensure that its behaviour matches that expected by a designer. Although assertions apply equally to hardware design, they are typically supported only for logic simulation, and discarded prior to physical implementation. We propose a new HDL-agnostic language for describing latency-insensitive assertions and novel methods to add such assertions transparently to an already placed-and-routed circuit without affecting the existing design. We also describe how this language and associated methods can be used to implement semi-transparent exception handling. The key to our work is that by treating hardware assertions and exceptions as being oblivious or less sensitive to latency, assertion logic need only use spare FPGA resources. We use network-flow techniques to route necessary signals to assertions via spare flip-flops, eliminating any performance degradation, even on large designs (92% of slices in one test). Experimental evaluation shows zero impact on critical-path delay, even on large benchmarks operating above 200MHz, at the cost of a small power penalty

Delay-Bounded Routing for Shadow Registers

The on-chip timing behaviour of synchronous circuits can be quantified at run-time by adding shadow registers, which allow designers to sample the most critical paths of a circuit at a different point in time than the user register would normally. In order to sample these paths precisely, the path skew between the user and the shadow register must be tightly controlled and consistent across all paths that are shadowed. Unlike a custom IC, FPGAs contain prefabricated resources from which composing an arbitrary routing delay is not trivial. This paper presents a method for inserting shadow registers with a minimum skew bound, whilst also reducing the maximum skew. To preserve circuit timing, we apply this to FPGA circuits post place-and-route, using only the spare resources left behind. We find that our techniques can achieve an average STA reported delay bound of ±200ps on a Xilinx device despite incomplete timing information, and achieve <1ps accuracy against our own delay model

Cosmological perturbations in f(T) gravity

We investigate the cosmological perturbations in f(T) gravity. Examining the pure gravitational perturbations in the scalar sector using a diagonal vierbien, we extract the corresponding dispersion relation, which provides a constraint on the f(T) ansatzes that lead to a theory free of instabilities. Additionally, upon inclusion of the matter perturbations, we derive the fully perturbed equations of motion, and we study the growth of matter overdensities. We show that f(T) gravity with f(T) constant coincides with General Relativity, both at the background as well as at the first-order perturbation level. Applying our formalism to the power-law model we find that on large subhorizon scales (O(100 Mpc) or larger), the evolution of matter overdensity will differ from LCDM cosmology. Finally, examining the linear perturbations of the vector and tensor sectors, we find that (for the standard choice of vierbein) f(T) gravity is free of massive gravitons.Comment: 11 pages, 4 figures. Analysis of the vector and tensor sectors adde

Entropy production and equilibration in Yang-Mills quantum mechanics

The Husimi distribution provides for a coarse grained representation of the phase space distribution of a quantum system, which may be used to track the growth of entropy of the system. We present a general and systematic method of solving the Husimi equation of motion for an isolated quantum system, and we construct a coarse grained Hamiltonian whose expectation value is exactly conserved. As an application, we numerically solve the Husimi equation of motion for two-dimensional Yang-Mills quantum mechanics (the x-y model) and calculate the time evolution of the coarse grained entropy of a highly excited state. We show that the coarse grained entropy saturates to a value that coincides with the microcanonical entropy corresponding to the energy of the system.Comment: 23 pages, 23 figure

Poincar\'e gauge theory with even and odd parity dynamic connection modes: isotropic Bianchi cosmological models

The Poincar\'e gauge theory of gravity has a metric compatible connection with independent dynamics that is reflected in the torsion and curvature. The theory allows two good propagating spin-0 modes. Dynamical investigations using a simple expanding cosmological model found that the oscillation of the 0$^+$ mode could account for an accelerating expansion similar to that presently observed. The model has been extended to include a $0^{-}$ mode and more recently cross parity couplings. We investigate the dynamics of this model in a situation which is simple, non-trivial, and yet may give physically interesting results that might be observable. We consider homogeneous cosmologies, more specifically, isotropic Bianchi class A models. We find an effective Lagrangian for our dynamical system, a system of first order equations, and present some typical dynamical evolution.Comment: 8 pages, 1 figures, submitted to IARD 2010 Conference Proceedings in {\em Journal of Physics: Conference Series}, eds. L. Horwitz and M. Land (2011

Environmental Aging of Scotch-Weld(TradeMark) AF-555M Structural Adhesive in Composite to Composite Bonds

Fiber reinforced resin matrix composites have found increased usage in recent years. Due to the lack of service history of these relatively new material systems, their long-term aging performance is not well established. In this study, adhesive bonds were prepared by the secondary bonding of Scotch-Weld(TradeMark) AF-555M between pre-cured adherends comprised of T800H/3900-2 uni-directional laminate. The adherends were co-cured with wet peel-ply for surface preparation. Each bond-line of single-lap-shear (SLS) specimen was measured to determine thickness and inspected visually for voids. A three-year environmental aging plan for the SLS specimens at 82 C and 85% relative humidity was initiated. SLS strengths were measured for both controls and aged specimens at room temperature and 82 C. The aging results of strength retention and failure modes to date are reported

On the magnetic stability at the surface in strongly correlated electron systems

The stability of ferromagnetism at the surface at finite temperatures is investigated within the strongly correlated Hubbard model on a semi-infinite lattice. Due to the reduced surface coordination number the effective Coulomb correlation is enhanced at the surface compared to the bulk. Therefore, within the well-known Stoner-picture of band ferromagnetism one would expect the magnetic stability at the surface to be enhanced as well. However, by taking electron correlations into account well beyond the Hartree-Fock (Stoner) level we find the opposite behavior: As a function of temperature the magnetization of the surface layer decreases faster than in the bulk. By varying the hopping integral within the surface layer this behavior becomes even more pronounced. A reduced hopping integral at the surface tends to destabilize surface ferromagnetism whereas the magnetic stability gets enhanced by an increased hopping integral. This behavior represents a pure correlation effect and can be understood in terms of general arguments which are based on exact results in the limit of strong Coulomb interaction.Comment: 6 pages, RevTeX, 4 eps figures, accepted (Phys. Rev. B), for related work and info see http://orion.physik.hu-berlin.d

The Stony Brook / SMARTS Atlas of mostly Southern Novae

We introduce the Stony Brook / SMARTS Atlas of (mostly) Southern Novae. This atlas contains both spectra and photometry obtained since 2003. The data archived in this atlas will facilitate systematic studies of the nova phenomenon and correlative studies with other comprehensive data sets. It will also enable detailed investigations of individual objects. In making the data public we hope to engender more interest on the part of the community in the physics of novae. The atlas is on-line at \url{http://www.astro.sunysb.edu/fwalter/SMARTS/NovaAtlas/} .Comment: 11 figures; 5 table

Small representations of finite classical groups

Finite group theorists have established many formulas that express interesting properties of a finite group in terms of sums of characters of the group. An obstacle to applying these formulas is lack of control over the dimensions of representations of the group. In particular, the representations of small dimensions tend to contribute the largest terms to these sums, so a systematic knowledge of these small representations could lead to proofs of important conjectures which are currently out of reach. Despite the classification by Lusztig of the irreducible representations of finite groups of Lie type, it seems that this aspect remains obscure. In this note we develop a language which seems to be adequate for the description of the "small" representations of finite classical groups and puts in the forefront the notion of rank of a representation. We describe a method, the "eta correspondence", to construct small representations, and we conjecture that our construction is exhaustive. We also give a strong estimate on the dimension of small representations in terms of their rank. For the sake of clarity, in this note we describe in detail only the case of the finite symplectic groups.Comment: 18 pages, 9 figures, accepted for publications in the proceedings of the conference on the occasion of Roger Howe's 70th birthday (1-5 June 2015, Yale University, New Haven, CT