Architectural exploration and implementation of CERN LHC Trigger algorithm With FPGADevadze, Sergei; Nielsen, Christine Elizabeth; Cherezova, Natalia; Mihhailov, Dmitri; Ellervee, PeeterIEEE Transactions on Very Large Scale Integration (VLSI) Systems2025 / p. 2998-3007 https://doi.org/10.1109/TVLSI.2025.3600044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

DeepHLS: A complete toolchain for automatic synthesis of deep neural networks to FPGARiazati, Mohammad; Daneshtalab, Masoud; Sjodin, Mikael; Lisper, BjornICECS 2020 - 27th IEEE International Conference on Electronics, Circuits and Systems, November 23-25, 2020, Virtual Conference : Proceedings2020 / 4 p https://doi.org/10.1109/ICECS49266.2020.9294881

PSL assertion checkers synthesis with ASM based HLS tool ABELITEJenihhin, Maksim; Baranov, Samary; Raik, Jaan; Tihhomirov, ValentinLATW 2012 : 13th IEEE Latin-American Test Workshop proceedings : April 10th-13th, 2012, Quito, Ecuador2012 / [6 p.] : ill https://ieeexplore.ieee.org/document/6261251