Related papers: Reusable Verification Components for High-Energy P…

The ALICE (A Large Ion Collider Experiment) experiment at the Large Hadron Collider (LHC) at CERN is dedicated to heavy ion physics to explore the structure of strongly interacting matter. The Time Projection Chamber (TPC) of ALICE is a…

We present a computer framework to store and evaluate likelihoods coming from High Energy Physics experiments. Due to its flexibility it can be interfaced with existing fitting codes and allows to uniform the interpretation of the…

The correctness of many algorithms and data structures depends on reachability properties, that is, on the existence of chains of references between objects in the heap. Reasoning about reachability is difficult for two main reasons. First,…

We have designed three ASICs for possible applications in the optical links of a new layer of pixel detector in the ATLAS experiment for the first phase of the LHC luminosity upgrade. The ASICs include a high-speed driver for the VCSEL, a…

A time-efficient and comprehensive verification is a fundamental part of the design process for modern computing platforms, and it becomes ever more important and critical to optimize as the latter get ever more complex. SupeRFIVe is a…

Quantum computing will change the way we tackle certain problems. It promises to dramatically speed-up many chemical, financial, and machine-learning applications. However, to capitalize on those promises, complex design flows composed of…

The PHOBOS experiment at the Relativistic Heavy Ion Collider (RHIC) at Brookhaven National Laboratory is studying interactions of heavy nuclei at the largest energies available in the laboratory. The high multiplicity of particles created…

The high-luminosity upgrade of the LHC (HL-LHC) brings unprecedented requirements for precision bunch-by-bunch luminosity measurement and beam-induced background monitoring in real time. A key component of the CMS Beam Radiation…

The aims of the CALICE test beam program are presented. The proposed electronics readout system for the CALICE ECAL is described. It is a purpose-built VME-based, unbuffered system.

The goal of cooperative verification is to combine verification approaches in such a way that they work together to verify a system model. In particular, cooperative verifiers provide exchangeable information (verification artifacts) to…

Active Pixel Sensor (APS) technology has shown promise for next-generation vertex detectors. This paper discusses the design and testing of two generations of APS chips. Both are arrays of 128 by 128 pixels, each 20 by 20 micro-m. Each…

This paper proposes a new methodology for early validation of high-level requirements on cyber-physical systems with the aim of improving their quality and, thus, lowering chances of specification errors propagating into later stages of…

For Application Specific Integrated Circuits (ASIC) and System-on-Chip (SOC) designs, Cell - Based Design (CBD) is the most prevalent practice as it guarantees a shorter design cycle, minimizes errors and is easier to maintain. In modern…

Strip and pixels sensors, fabricated on high resistivity silicon substrate, normally of p-type, are used in detectors for High Energy Physics (HEP) typically in a hybrid detector assembly. Furthermore, and owing to their inherent advantages…

Large-scale quantum computers are expected to benefit from modular architectures. Validating the capabilities of modular devices requires benchmarking strategies that assess performance within and between modules. In this work, we evaluate…

Third-party intellectual property cores are essential building blocks of modern system-on-chip and integrated circuit designs. However, these design components usually come from vendors of different trust levels and may contain undocumented…

We present the material and resources developed for training physicists on containerization technologies enabled by Apptainer. In the context of analysis preservation using Apptainer's capabilities, we have developed examples that execute…

The ever increasing complexity of the hardware design process demands improved hardware design and verification methodologies. With the advent of generative AI various attempts have been made to automate parts of the design and verification…

A hybrid readout Time Projection Chamber (TPC) has a simultaneous optical- and charge readout. The optical readout provides 2D images of particle tracks in the active volume, whilst the charge readout provides additional information on the…

The ALICE experiment at the Large Hadron Collider at CERN is upgrading its central tracking detector, the Time Projection Chamber (TPC). The installation is foreseen during the second long shutdown of the Large Hadron Collider. The upgrade…