-
Scalable Sequential Optimization Under Observability Don't Cares
Authors:
Dewmini Sudara Marakkalage,
Eleonora Testa,
Walter Lau Neto,
Alan Mishchenko,
Giovanni De Micheli,
Luca Amarù
Abstract:
Sequential logic synthesis can provide better Power-Performance-Area (PPA) than combinational logic synthesis since it explores a larger solution space. As the gate cost in advanced technologies keeps rising, sequential logic synthesis provides a powerful alternative that is gaining momentum in the EDA community. In this work, we present a new scalable algorithm for don't-care-based sequential log…
▽ More
Sequential logic synthesis can provide better Power-Performance-Area (PPA) than combinational logic synthesis since it explores a larger solution space. As the gate cost in advanced technologies keeps rising, sequential logic synthesis provides a powerful alternative that is gaining momentum in the EDA community. In this work, we present a new scalable algorithm for don't-care-based sequential logic synthesis. Our new approach is based on sequential k-step induction and can apply both redundancy removal and resubstitution transformations under Sequential Observability Don't Cares (SODCs). Using SODC-based optimizations with induction is a challenging problem due to dependencies and alignment of don't cares among the base case and the inductive case. We propose a new approach utilizing the full power of SODCs without limiting the solution space. Our algorithm is implemented as part of an industrial tool and achieves 6.9% average area improvement after technology map** when compared to state-of-the-art sequential synthesis methods. Moreover, all the new sequential optimizations can be verified using state-of-the-art sequential verification tools.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Relative stop** power precision in time-of-flight proton CT
Authors:
Nils Krah,
Denis Dauvergne,
Jean Michel Létang,
Simon Rit,
Étienne Testa
Abstract:
Proton computed tomography (CT) is similar to x-ray CT but relies on protons rather than photons to form an image. In its most common operation mode, the measured quantity is the amount of energy that a proton has lost while traversing the imaged object from which a relative stop** power map can be obtained via tomographic reconstruction. To this end, a calorimeter which measures the energy depo…
▽ More
Proton computed tomography (CT) is similar to x-ray CT but relies on protons rather than photons to form an image. In its most common operation mode, the measured quantity is the amount of energy that a proton has lost while traversing the imaged object from which a relative stop** power map can be obtained via tomographic reconstruction. To this end, a calorimeter which measures the energy deposited by protons downstream of the scanned object has been studied or implemented as energy detector in several proton CT prototypes. An alternative method is to measure the proton's residual velocity and thus its kinetic energy via the time of flight (TOF) between at least two sensor planes. In this work, we study the precision, i.e. image noise, which can be expected from TOF proton CT systems. We rely on physics models on the one hand and statistical models of the relevant uncertainties on the other to derive closed form expressions for the noise in projection images. The TOF measurement error scales with the distance between the TOF sensor planes and is reported as velocity error in ps/m. We use variance reconstruction to obtain noise maps of a water cylinder phantom given the scanner characteristics and additionally reconstruct noise maps for a calorimeter-based proton CT system as reference. We find that TOF proton CT with 30 ps/m velocity error reaches similar image noise as a calorimeter-based proton CT system with 1% energy error (1 sigma error). A TOF proton CT system with a 50 ps/m velocity error produces slightly less noise than a 2% calorimeter system. Noise in a reconstructed TOF proton CT image is spatially inhomogeneous with a marked increase towards the object periphery. This systematic study of image noise in TOF proton CT can serve as a guide for future developments of this alternative solution for estimating the residual energy of protons after the scanned object.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Performance of CVD diamond detectors for single ion beam-tagging applications in hadrontherapy monitoring
Authors:
Sébastien Curtoni,
Marie-Laure Gallin-Martel,
Sara Marcatili,
Latifa Abbassi,
Alexandre Bes,
Germain Bosson,
Johann Collot,
Thierry Crozes,
Denis Dauvergne,
Wout De Nolf,
Pierre Everaere,
Laurent Gallin-Martel,
Abderrahmane Ghimouz,
Ferid Haddad,
Christophe Hoarau,
Jean-Yves Hostachy,
Charbel Koumeir,
Ana Lacoste,
Vincent Métivier,
John Morse,
Jean-François Motte,
Jean-François Muraz,
Freddy Poirier,
Fatah Ellah Rarbi,
Olivier Rossetto
, et al. (4 additional authors not shown)
Abstract:
In the context of online ion range verification in particle therapy, the CLaRyS collaboration is develo** Prompt-Gamma (PG) detection systems. The originality in the CLaRyS approach is to use a beam-tagging hodoscope in coincidence with the gamma detectors to provide both temporal and spatial information of the incoming ions. The ion range sensitivity of such PG detection systems could be improv…
▽ More
In the context of online ion range verification in particle therapy, the CLaRyS collaboration is develo** Prompt-Gamma (PG) detection systems. The originality in the CLaRyS approach is to use a beam-tagging hodoscope in coincidence with the gamma detectors to provide both temporal and spatial information of the incoming ions. The ion range sensitivity of such PG detection systems could be improved by detecting single ions with a 100 ps ($σ$) time resolution, through a quality assurance procedure at low beam intensity at the beginning of the treatment session. This work presents the investigations led to assess the performance of Chemical Vapor Deposition (CVD) diamond detectors to fulfill these requirements. A $^{90}$Sr beta source, 68 MeV protons, 95 MeV/u carbon ions and a synchrotron X-ray pulsed beam were used to measure the time resolution, single ion detection efficiency and proton counting capability of various CVD diamond samples. An offline technique, based on double-sided readout with fast current preamplifiers and used to improve the signal-to-noise ratio, is also presented. The different tests highlighted Time-Of-Flight resolutions ranging from 13 ps ($σ$) to 250 ps ($σ$), depending on the experimental conditions. The single 68 MeV proton detection efficiency of various large area polycrystalline (pCVD) samples was measured to be $>$96% using coincidence measurements with a single-crystal reference detector. Single-crystal CVD (sCVD) diamond proved to be able to count a discrete number of simultaneous protons while it was not achievable with a polycrystalline sample. Considering the results of the present study, two diamond hodoscope demonstrators are under development: one based on sCVD, and one of larger size based on pCVD. They will be used for the purpose of single ion as well as ion bunches detection, either at reduced or clinical beam intensities.
△ Less
Submitted 23 August, 2021; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Characterization of a beam-tagging hodoscope for hadrontherapy monitoring
Authors:
O. Allegrini,
J. -P. Cachemiche,
C. P. C. Caplan,
B. Carlus,
X. Chen,
S. Curtoni,
D. Dauvergne,
R. Della Negra,
M. -L. Gallin-Martel,
J. Hérault,
J. M. Létang,
C. Morel,
É. Testa,
Y. Zoccarato
Abstract:
A beam tagging hodoscope prototype made of squared 1 mm$^2$ fibers arranged in two perpendicular planes and coupled to multi-anode photomultipliers has been studied using 65 MeV proton as well as 95 MeV/u $^{12}$C beams at various intensities. This hodoscope successfully provided 2D images of proton beams with a detection efficiency larger than 98 % with logical OR condition between the two fiber…
▽ More
A beam tagging hodoscope prototype made of squared 1 mm$^2$ fibers arranged in two perpendicular planes and coupled to multi-anode photomultipliers has been studied using 65 MeV proton as well as 95 MeV/u $^{12}$C beams at various intensities. This hodoscope successfully provided 2D images of proton beams with a detection efficiency larger than 98 % with logical OR condition between the two fiber planes. The detection efficiency with a coincidence between the two planes is close to 75 % for beam intensities up to $\sim1$ MHz. Moreover, the timing resolution is around 1.8 ns FWHM. Overall, the performances show that such a technology is viable for beam monitoring during hadrontherapy.
△ Less
Submitted 6 January, 2021;
originally announced January 2021.
-
A Time-Of-Flight-Based Reconstruction for Real-Time Prompt-Gamma Imaging in Protontherapy
Authors:
Maxime Jacquet,
Sara Marcatili,
Marie-Laure Gallin-Martel,
Jean-Luc Bouly,
Yannick Boursier,
Denis Dauvergne,
Mathieu Dupont,
Laurent Gallin-Martel,
Joël Hérault,
Jean-Michel Létang,
Daniel Manéval,
Christian Morel,
Jean-François Muraz,
Étienne Testa
Abstract:
We are currently conceiving, through (MC) simulation, a multi-channel gamma detector array (TIARA for Time-of-flight Imaging ARrAy) for the online monitoring of protontherapy treatments. By measuring the Time-Of-Flight (TOF) between a beam monitor placed upstream and the Prompt-Gamma (PG) detector, our goal is to reconstruct the PG vertex distribution to detect a possible deviation of proton beam…
▽ More
We are currently conceiving, through (MC) simulation, a multi-channel gamma detector array (TIARA for Time-of-flight Imaging ARrAy) for the online monitoring of protontherapy treatments. By measuring the Time-Of-Flight (TOF) between a beam monitor placed upstream and the Prompt-Gamma (PG) detector, our goal is to reconstruct the PG vertex distribution to detect a possible deviation of proton beam delivery. In this paper, two non-iterative reconstruction strategies are proposed. The first is based on the resolution of an analytical formula describing the PG vertex distribution in 3D. Here, it was resolved under a one-dimensional approximation in order to measure a potential proton range shift along the beam direction. The second is based on the calculation of the Centre-Of-Gravity (COG) of the TIARA pixel detectors counts and also provides 3D information on a possible beam displacement. The PG vertex reconstruction was evaluated in two different scenarios. A coincidence time resolution of 100 ps (rms) can be attained in single proton regime (operating a reduction of the beam current) and using an external beam monitor to provide a start trigger for the TOF measurement. Under these conditions, MC simulations have shown that a millimetric proton range shift sensitivity can be achieved at 2$σ$ with 10$^{8}$ incident protons. This level of accuracy would allow to act in real-time if the treatment does not conform to treatment plan. A worst case scenario of a 1 ns (rms) TOF resolution was also considered to demonstrate that a degraded timing information can be compensated by increasing the acquisition statistics: in this case, a 2 mm range shift would be detectable at 2$σ$ with 10$^{9}$ incident protons. The COG method has shown excellent capabilities of detecting lateral beam displacements: a 2 mm sensitivity was found at 2$σ$ with 10$^{8}$ incident protons.
△ Less
Submitted 16 December, 2020;
originally announced December 2020.
-
CrowdEst: A Method for Estimating (and not Simulating) Crowd Evacuation Parameters in Generic Environments
Authors:
Estevso Testa,
Rodrigo C. Barros,
Soraia Raupp Musse
Abstract:
Evacuation plans have been historically used as a safety measure for the construction of buildings. The existing crowd simulators require fully-modeled 3D environments and enough time to prepare and simulate scenarios, where the distribution and behavior of the crowd needs to be controlled. In addition, its population, routes or even doors and passages may change, so the 3D model and configuration…
▽ More
Evacuation plans have been historically used as a safety measure for the construction of buildings. The existing crowd simulators require fully-modeled 3D environments and enough time to prepare and simulate scenarios, where the distribution and behavior of the crowd needs to be controlled. In addition, its population, routes or even doors and passages may change, so the 3D model and configurations have to be updated accordingly. This is a time-consuming task that commonly has to be addressed within the crowd simulators. With that in mind, we present a novel approach to estimate the resulting data of a given evacuation scenario without actually simulating it. For such, we divide the environment into smaller modular rooms with different configurations, in a divide-and-conquer fashion. Next, we train an artificial neural network to estimate all required data regarding the evacuation of a single room. After collecting the estimated data from each room, we develop a heuristic capable of aggregating per-room information so the full environment can be properly evaluated. Our method presents an average error of 5% when compared to evacuation time in a real-life environment. Our crowd estimator approach has several advantages, such as not requiring to model the 3D environment, nor learning how to use and configure a crowd simulator, which means any user can easily use it. Furthermore, the computational time to estimate evacuation data (inference time) is virtually zero, which is much better even when compared to the best-case scenario in a real-time crowd simulator.
△ Less
Submitted 30 September, 2020;
originally announced October 2020.
-
A 100 ps TOF Detection System for On-Line Range- Monitoring in Hadrontherapy
Authors:
Sara Marcatili,
Sébastien Curtoni,
Denis Dauvergne,
Ferid Haddad,
Maxime Jacquet,
Charbel Koumeir,
Jean Michel Létang,
Jayde Livingstone,
Vincent Métivier,
Laurent Gallin-Martel,
Marie-Laure Gallin-Martel,
Jean-François Muraz,
Noel Servagent,
Étienne Testa
Abstract:
The accuracy of hadrontherapy treatment is currently limited by ion-range uncertainties. In order to fully exploit the potential of this technique, we propose the development of a novel system for online control of particle therapy, based on TOF-resolved (time-of-flight) Prompt Gamma (PG) imaging with 100 ps time resolution. Our aim is to detect a possible deviation of the proton range with respec…
▽ More
The accuracy of hadrontherapy treatment is currently limited by ion-range uncertainties. In order to fully exploit the potential of this technique, we propose the development of a novel system for online control of particle therapy, based on TOF-resolved (time-of-flight) Prompt Gamma (PG) imaging with 100 ps time resolution. Our aim is to detect a possible deviation of the proton range with respect to treatment planning within the first few irradiation spots at the beginning of the session. The system consists of a diamond-based beam hodoscope for single proton tagging, operated in time coincidence with one or more gamma detectors placed downstream of the patient. The TOF between the proton time of arrival in the hodoscope and the PG detection time provides an indirect measurement of the proton range in the patient with a precision strictly related to the system time resolution. With a single ~38 cm$^{3}$ BaF2 detector placed at 15 cm from a heterogeneous PMMA target, we obtained a coincidence time resolution of 101 ps (rms). This system allowed us to measure the thickness and position of an air cavity within a PMMA target, and the associated proton range shift: a 3 mm shift can be detected at 2$σ$ confidence level within a single large irradiation spot (~10$^{8}$ protons). We are currently conceiving a multi-channel PG timing detector with 3D target coverage. Each pixel will provide the PG detection time and its hit position, that can be used to reconstruct the 3D distribution of PG vertices in the patient. Our approach does not require collimation and allows to dramatically increase the detection efficiency. Since both signal detection and background rejection are based on TOF, the constraints on energy resolution can be relaxed to further improve time resolution.
△ Less
Submitted 20 January, 2020; v1 submitted 13 January, 2020;
originally announced January 2020.
-
Ultra-fast prompt gamma detection in single proton counting regime for range monitoring in particle therapy
Authors:
S. Marcatili,
J. Collot,
S. Curtoni,
D. Dauvergne,
J-Y. Hostachy,
C. Koumeir,
J. M. Létang,
J. Livingstone,
V. Métivier,
L. Gallin-Martel,
M-L. Gallin-Martel,
J. F. Muraz,
N. Servagent,
É. Testa,
M. Yamouni
Abstract:
In order to fully exploit the ballistic potential of particle therapy, we propose an online range monitoring concept based on high-resolution Time-Of-Flight (TOF)-resolved Prompt Gamma (PG) detection in a single proton counting regime. In a proof of principle experiment, different types of monolithic scintillating gamma detectors are read in time coincidence with a diamond-based beam hodoscope, in…
▽ More
In order to fully exploit the ballistic potential of particle therapy, we propose an online range monitoring concept based on high-resolution Time-Of-Flight (TOF)-resolved Prompt Gamma (PG) detection in a single proton counting regime. In a proof of principle experiment, different types of monolithic scintillating gamma detectors are read in time coincidence with a diamond-based beam hodoscope, in order to build TOF spectra of PG generated in a heterogeneous target presenting an air cavity of variable thickness. Since the measurement was carried out at low beam currents ($<$ 1 proton/bunch) it was possible to reach excellent coincidence time resolutions, of the order of 100 ps ($σ$). Our goal is to detect possible deviations of the proton range with respect to treatment planning within a few intense irradiation spots at the beginning of the session and then carry on the treatment at standard beam currents. The measurements were limited to 10 mm proton range shift. A Monte Carlo simulation study reproducing the experiment has shown that a 3 mm shift can be detected at 2$σ$ by a single detector of $\sim 1.4 \times 10^{-3}$ absolute detection efficiency within a single irradiation spot ($\sim$10$^{8}$ protons) and an optimised experimental set-up.
△ Less
Submitted 6 January, 2020;
originally announced January 2020.
-
Automatic Dataset Augmentation Using Virtual Human Simulation
Authors:
Marcelo C. Ghilardi,
Leandro Dihl,
Estevão Testa,
Pedro Braga,
João P. Pianta,
Isabel H. Manssour,
Soraia R. Musse
Abstract:
Virtual Human Simulation has been widely used for different purposes, such as comfort or accessibility analysis. In this paper, we investigate the possibility of using this type of technique to extend the training datasets of pedestrians to be used with machine learning techniques. Our main goal is to verify if Computer Graphics (CG) images of virtual humans with a simplistic rendering can be effi…
▽ More
Virtual Human Simulation has been widely used for different purposes, such as comfort or accessibility analysis. In this paper, we investigate the possibility of using this type of technique to extend the training datasets of pedestrians to be used with machine learning techniques. Our main goal is to verify if Computer Graphics (CG) images of virtual humans with a simplistic rendering can be efficient in order to augment datasets used for training machine learning methods. In fact, from a machine learning point of view, there is a need to collect and label large datasets for ground truth, which sometimes demands manual annotation. In addition, find out images and videos with real people and also provide ground truth of people detection and counting is not trivial. If CG images, which can have a ground truth automatically generated, can also be used as training in machine learning techniques for pedestrian detection and counting, it can certainly facilitate and optimize the whole process of event detection. In particular, we propose to parametrize virtual humans using a data-driven approach. Results demonstrated that using the extended datasets with CG images outperforms the results when compared to only real images sequences.
△ Less
Submitted 1 May, 2019;
originally announced May 2019.
-
The EPFL Logic Synthesis Libraries
Authors:
Mathias Soeken,
Heinz Riener,
Winston Haaswijk,
Eleonora Testa,
Bruno Schmitt,
Giulia Meuli,
Fereshte Mozafari,
Siang-Yun Lee,
Alessandro Tempia Calvino,
Dewmini Sudara Marakkalage,
Giovanni De Micheli
Abstract:
We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the implementation of quantum compilers. All libraries are well documented and well tested. Furthermore, being header-only, the libraries can be readily used as cor…
▽ More
We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the implementation of quantum compilers. All libraries are well documented and well tested. Furthermore, being header-only, the libraries can be readily used as core components in complex logic synthesis systems.
△ Less
Submitted 3 June, 2022; v1 submitted 14 May, 2018;
originally announced May 2018.
-
Statistical effects of dose deposition in track-structure modelling of radiobiology efficiency
Authors:
M. Beuve,
A. Colliaux,
D. Dabli,
D. Dauvergne,
B. Gervais,
G. Montarou,
E. Testa
Abstract:
Ion-induced cell killing has been reported to depend on the irradiation dose but also on the projectile parameters. In this paper we focus on two approaches developed and extensively used to predict cell survival in response to ion irradiation: the Local Effect Model and the Katz Model. These models are based on a track-structure description summarized in the concept of radial dose. This latter…
▽ More
Ion-induced cell killing has been reported to depend on the irradiation dose but also on the projectile parameters. In this paper we focus on two approaches developed and extensively used to predict cell survival in response to ion irradiation: the Local Effect Model and the Katz Model. These models are based on a track-structure description summarized in the concept of radial dose. This latter is sensitive to ion characteristics parameters and gives to both models the ability to predict some important radiobiological features for ion irradiations. Radial dose is however an average quantity, which does not include stochastic effects. These radiation-intrinsic effects are investigated by means of a Monte-Carlo simulation of dose deposition. We show that both models are not fully consistent with the nanometric and microscopic dose deposition statistics.
△ Less
Submitted 25 February, 2009;
originally announced February 2009.
-
Monitoring the Bragg peak location of 73 MeV/u carbon ions by means of prompt $γ$-ray measurements
Authors:
E. Testa,
M. Bajard,
M. Chevallier,
D. Dauvergne,
F. Le Foulher,
J. -C. Poizat,
C. Ray,
M. Testa,
N. Freud,
J. -M. Létang
Abstract:
By means of a time-of-flight technique, we measured the longitudinal profile of prompt $γ$-rays emitted by 73 MeV/u $^{13}$C ions irradiating a PMMA target. This technique allowed us to minimize the shielding against neutrons and scattered $γ$-rays, and to correlate prompt gamma emission to the ion path. This correlation, together with a high counting rate, paves the way toward real-time monitor…
▽ More
By means of a time-of-flight technique, we measured the longitudinal profile of prompt $γ$-rays emitted by 73 MeV/u $^{13}$C ions irradiating a PMMA target. This technique allowed us to minimize the shielding against neutrons and scattered $γ$-rays, and to correlate prompt gamma emission to the ion path. This correlation, together with a high counting rate, paves the way toward real-time monitoring of the longitudinal dose profile during ion therapy treatments. Moreover, the time correlation between the prompt gamma detection and the transverse position of the incident ions measured by a beam monitor can provide real-time 3D control of the irradiation.
△ Less
Submitted 1 September, 2008;
originally announced September 2008.