Related papers: Reusable Verification Components for High-Energy P…
Formal verification provides mathematical guarantees that a software is correct. Design-level verification tools ensure software specifications are correct, but they do not expose defects in actual implementations. For this purpose,…
The two innermost layers of the ALICE inner tracking system are instrumented with silicon pixel detectors. Single chip assembly prototypes of the ALICE pixels have been tested in high energy particle beams at the CERN SPS. Detection…
With centre-of-mass energies covering the Z pole, the WW threshold, the HZ production, and the top-pair threshold, the FCC-ee offers unprecedented possibilities to measure the properties of the four heaviest particles of the Standard Model…
The overarching, broad topic of my research are advancements in the area of safety-critical, cyber-physical systems (CPS) development with emphasis on validation and verification. The particular focus of my research is the early validation…
The increasing demand for electronics is driving shorter development cycles for application-specific integrated circuits (ASICs). To meet these constraints, hardware designers emphasize reusability and modularity of IP blocks, leveraging…
Resistive Plate Chamber detectors are largely used in current High Energy Physics experiments, typically operated in avalanche mode with large fractions of Tetrafluoroethane (C2H2F4), a gas recently banned by the European Union due to its…
Recent years have shown an increased use of silicon photo-multipliers (SiPM) in experiments as they are of reasonable cost, have relatively low power consumption and are easily available in a variety of form factors allowing for a large…
Assertions are widely used for functional validation as well as coverage analysis for both software and hardware designs. Assertions enable runtime error detection as well as faster localization of errors. While there is a vast literature…
In this paper we present EPIC, an efficient and effective predictor for IC manufacturing hotspots in deep sub-wavelength lithography. EPIC proposes a unified framework to combine different hotspot detection methods together, such as machine…
CLIC is a proposed linear e+e- collider designed to provide particle collisions at center-of-mass energies of up to 3 TeV. Precise measurements of the properties of the top quark and the Higgs boson, as well as searches for Beyond the…
In 2019, the LHCb experiment at CERN will undergo a major upgrade where its detector electronics and the entire readout system will be replaced. The goal is to read-out all events at the full LHC frequency of 40 MHz, reaching a total data…
ALICE (A Large Ion Collider Experiment) experiment at CERN LHC is designed to study the properties of the Quark-Gluon Plasma (QGP) in heavy-ion collisions. In 2019-2020 the upgrade of CERN LHC will increase the luminosity and the collision…
High-energy physics (HEP) experiments have developed millions of lines of code over decades that are optimized to run on traditional x86 CPU systems. However, we are seeing a rapidly increasing fraction of floating point computing power in…
Domain-specific languages for hardware can significantly enhance designer productivity, but sometimes at the cost of ease of verification. On the other hand, ISA specification languages are too static to be used during early stage design…
Escalating artificial intelligence (AI) demands expose a critical "compute crisis" characterized by unsustainable energy consumption, prohibitive training costs, and the approaching limits of conventional CMOS scaling. Physics-based…
Numerous challenges persist in High Energy Physics (HEP), the addressing of which requires advancements in detection technology, computational methods, data analysis frameworks, and phenomenological designs. We provide a concise yet…
This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereof. Autonomy in CPS is enabling by recent advances in…
A metasurface is a surface that consists of artificial material, called metamaterial, with configurable electromagnetic properties. This paper presents work in progress on the design and formal verification of a programmable metasurface,…
Significant new challenges are continuously confronting the High Energy Physics (HEP) experiments, in particular the two detectors at the Large Hadron Collider (LHC) at CERN, where nominal conditions deliver proton-proton collisions to the…
Resistive Plate Chambers (RPCs), used for the Muon Spectrometer of the ALICE experiment at CERN LHC, are currently operated in maxi-avalanche mode with a low threshold value and without amplification in the front-end electronics. RPC…