Refine
Year of publication
Document Type
- Article (16)
- Conference Proceeding (5)
Language
- English (21)
Has Fulltext
- yes (21)
Is part of the Bibliography
- no (21)
Keywords
- ATPG (1)
- Anti-kaon–nucleon physics (1)
- Baryonic resonances (1)
- Freezeout (1)
- Heavy-ion reactions (1)
- Kaonic nuclei (1)
- Low energy QCD (1)
- Partial wave analysis (1)
- built-in self-test (1)
- logic synthesis (1)
Institute
- Informatik (9)
- Physik (9)
- Medizin (3)
We present the FPGA implementation of an algorithm [4] that computes implications between signal values in a boolean network. The research was performed as a masterrsquos thesis [5] at the University of Frankfurt. The recursive algorithm is rather complex for a hardware realization and therefore the FPGA implementation is an interesting example for the potential of reconfigurable computing beyond systolic algorithms. A circuit generator was written that transforms a boolean network into a network of small processing elements and a global control logic which together implement the algorithm. The resulting circuit performs the computation two orders of magnitudes faster than a software implementation run by a conventional workstation.
Channel routing is an NP-complete problem. Therefore, it is likely that there is no efficient algorithm solving this problem exactly.In this paper, we show that channel routing is a fixed-parameter tractable problem and that we can find a solution in linear time for a fixed channel width.We implemented our approach for the restricted layer model. The algorithm finds an optimal route for channels with up to 13 tracks within minutes or up to 11 tracks within seconds.Such narrow channels occur for example as a leaf problem of hierarchical routers or within standard cell generators.
Genetic generalised epilepsy (GGE) is the most common form of genetic epilepsy, accounting for 20% of all epilepsies. Genomic copy number variations (CNVs) constitute important genetic risk factors of common GGE syndromes. In our present genome-wide burden analysis, large (≥ 400 kb) and rare (< 1%) autosomal microdeletions with high calling confidence (≥ 200 markers) were assessed by the Affymetrix SNP 6.0 array in European case-control cohorts of 1,366 GGE patients and 5,234 ancestry-matched controls. We aimed to: 1) assess the microdeletion burden in common GGE syndromes, 2) estimate the relative contribution of recurrent microdeletions at genomic rearrangement hotspots and non-recurrent microdeletions, and 3) identify potential candidate genes for GGE. We found a significant excess of microdeletions in 7.3% of GGE patients compared to 4.0% in controls (P = 1.8 x 10-7; OR = 1.9). Recurrent microdeletions at seven known genomic hotspots accounted for 36.9% of all microdeletions identified in the GGE cohort and showed a 7.5-fold increased burden (P = 2.6 x 10-17) relative to controls. Microdeletions affecting either a gene previously implicated in neurodevelopmental disorders (P = 8.0 x 10-18, OR = 4.6) or an evolutionarily conserved brain-expressed gene related to autism spectrum disorder (P = 1.3 x 10-12, OR = 4.1) were significantly enriched in the GGE patients. Microdeletions found only in GGE patients harboured a high proportion of genes previously associated with epilepsy and neuropsychiatric disorders (NRXN1, RBFOX1, PCDH7, KCNA2, EPM2A, RORB, PLCB1). Our results demonstrate that the significantly increased burden of large and rare microdeletions in GGE patients is largely confined to recurrent hotspot microdeletions and microdeletions affecting neurodevelopmental genes, suggesting a strong impact of fundamental neurodevelopmental processes in the pathogenesis of common GGE syndromes.
This paper presents a new timing driven approach for cell replication tailored to the practical needs of standard cell layout design. Cell replication methods have been studied extensively in the context of generic partitioning problems. However, until now it has remained unclear what practical benefit can be obtained from this concept in a realistic environment for timing driven layout synthesis. Therefore, this paper presents a timing driven cell replication procedure, demonstrates its incorporation into a standard cell placement and routing tool and examines its benefit on the final circuit performance in comparison with conventional gate or transistor sizing techniques. Furthermore, we demonstrate that cell replication can deteriorate the stuck-at fault testability of circuits and show that stuck-at redundancy elimination must be integrated into the placement procedure. Experimental results demonstrate the usefulness of the proposed methodology and suggest that cell replication should be an integral part of the physical design flow complementing traditional gate sizing techniques.
We present a theoretical analysis of structural FSM traversal, which is the basis for the sequential equivalence checking algorithm Record & Play presented earlier. We compare the convergence behaviour of exact and approximative structural FSM traversal with that of standard BDD-based FSM traversal. We show that for most circuits encountered in practice exact structural FSM traversal reaches the fixed point as fast as symbolic FSM traversal, while approximation can significantly reduce in the number of iterations needed. Our experiments confirm these results.
In this letter we report the first multi-differential measurement of correlated pion-proton pairs from 2 billion Au+Au collisions at sNN=2.42 GeV collected with HADES. In this energy regime the population of Δ(1232) resonances plays an important role in the way energy is distributed between intrinsic excitation energy and kinetic energy of the hadrons in the fireball. The triple differential d3N/dMπ±pdpTdy distributions of correlated π±p pairs have been determined by subtracting the πp combinatorial background using an iterative method. The invariant-mass distributions in the Δ(1232) mass region show strong deviations from a Breit-Wigner function with vacuum width and mass. The yield of correlated pion-proton pairs exhibits a complex isospin, rapidity and transverse-momentum dependence. In the invariant mass range 1.1<Minv(GeV/c2)<1.4, the yield is found to be similar for π+p and π−p pairs, and to follow a power law 〈Apart〉α, where 〈Apart〉 is the mean number of participating nucleons. The exponent α depends strongly on the pair transverse momentum (pT) while its pT-integrated and charge-averaged value is α=1.5±0.08st±0.2sy.
We present new concepts to integrate logic synthesis and physical design. Our methodology uses general Boolean transformations as known from technology-independent synthesis, and a recursive bi-partitioning placement algorithm. In each partitioning step, the precision of the layout data increases. This allows effective guidance of the logic synthesis operations for cycle time optimization. An additional advantage of our approach is that no complicated layout corrections are needed when the netlist is changed.
We present data on charged kaons (K±) and ϕ mesons in Au(1.23A GeV)+Au collisions. It is the first simultaneous measurement of K− and ϕ mesons in central heavy-ion collisions below a kinetic beam energy of 10A GeV. The ϕ/K− multiplicity ratio is found to be surprisingly high with a value of 0.52±0.16 and shows no dependence on the centrality of the collision. Consequently, the different slopes of the K+ and K− transverse-mass spectra can be explained solely by feed-down, which substantially softens the spectra of K− mesons. Hence, in contrast to the commonly adapted argumentation in literature, the different slopes do not necessarily imply diverging freeze-out temperatures of K+ and K− mesons caused by different couplings to baryons.
his contribution aims to give a basic overview of the latest results regarding the production of resonances in different collision systems. The results were extracted from experimental data collected with HADES that is a multipurpose detector located at the GSI Helmholtzzentrum, Darmstadt. The main points discussed here are: the properties of the strange resonances Λ(1405) and Σ(1385), the role of Δ’s as a source of pions in the final state, the production dynamics reflected in form of differential cross sections, and the role of the ϕ meson as a source for K− particles.