Automated SoC Hardening with Model Transformation

An application specific signal processor for gaseous detector systems in high energy physics experiment.

“…Is also very important to cite the works Bavache et al (2020), Stamenkovic and Petrovic (2016), Oh and Kaneko (2015) and Chiusano, Carlo and Prinetto (2002) addressing automated strategies for fault tolerance in device, circuit, and system. Where Bavache et al (2020) operates over system on chips, Chiusano, Carlo and Prinetto (2002) deals with synthesis in general and Oh and Kaneko (2015) is more directed to data-path creation.…”

“…Is also very important to cite the works Bavache et al (2020), Stamenkovic and Petrovic (2016), Oh and Kaneko (2015) and Chiusano, Carlo and Prinetto (2002) addressing automated strategies for fault tolerance in device, circuit, and system. Where Bavache et al (2020) operates over system on chips, Chiusano, Carlo and Prinetto (2002) deals with synthesis in general and Oh and Kaneko (2015) is more directed to data-path creation. Quijada et al (2019) and Hindman et al (2011) are also important contributions to automation in fault tolerance where logic design methodology for radiation hardened by design high-speed logic using fine-grained triple modular redundancy are presented, which is similar to one of the techniques of protection further used in the present work.…”