Allon Adir

Genesys-pro: innovations in test program generation for functional processor verification

Allon Adir, Eli Almog, Laurent Sébastien Fournier et al. · IEEE Design & Test of Computers · 2004 · 178 citations

Engineering, Hardware Verification Language, Verification +20

A unified methodology for pre-silicon verification and post-silicon validation

Allon Adir, Shady Copty, Shimon Landa et al. · 2011 · 62 citations

Hardware Modeling, Unified Methodology, Engineering +17

Information-flow models for shared memory with an application to the powerPC architecture

Allon Adir, Hagit Attiya, Gil Shurek · IEEE Transactions on Parallel and Distributed Systems · 2003 · 42 citations

Program Order, Engineering, Computer Architecture +22

HeLayers: A Tile Tensors Framework for Large Neural Networks on Encrypted Data

Ehud Aharoni, Allon Adir, Moran Baruch et al. · Proceedings on Privacy Enhancing Technologies · 2023 · 41 citations · Full text

Threadmill

Allon Adir, Maxim Golubev, Shimon Landa et al. · 2011 · 37 citations

Hardware Security, Bring-up Tools, Engineering +15