RTL2M$\mu$PATH: Multi-$\mu$PATH Synthesis with Applications to Hardware Security Verification

Autor: Hsiao, Yao, Nikoleris, Nikos, Khyzha, Artem, Mulligan, Dominic P., Petri, Gustavo, Fletcher, Christopher W., Trippel, Caroline

The Check tools automate formal memory consistency model and security verification of processors by analyzing abstract models of microarchitectures, called $\mu$SPEC models. Despite the efficacy of this approach, a verification gap between $\mu$SPEC

Externí odkaz: http://arxiv.org/abs/2409.19478

The gem5 Simulator: Version 20.0+

Autor: Lowe-Power, Jason, Ahmad, Abdul Mutaal, Akram, Ayaz, Alian, Mohammad, Amslinger, Rico, Andreozzi, Matteo, Armejach, Adrià, Asmussen, Nils, Beckmann, Brad, Bharadwaj, Srikant, Black, Gabe, Bloom, Gedare, Bruce, Bobby R., Carvalho, Daniel Rodrigues, Castrillon, Jeronimo, Chen, Lizhong, Derumigny, Nicolas, Diestelhorst, Stephan, Elsasser, Wendy, Escuin, Carlos, Fariborz, Marjan, Farmahini-Farahani, Amin, Fotouhi, Pouya, Gambord, Ryan, Gandhi, Jayneel, Gope, Dibakar, Grass, Thomas, Gutierrez, Anthony, Hanindhito, Bagus, Hansson, Andreas, Haria, Swapnil, Harris, Austin, Hayes, Timothy, Herrera, Adrian, Horsnell, Matthew, Jafri, Syed Ali Raza, Jagtap, Radhika, Jang, Hanhwi, Jeyapaul, Reiley, Jones, Timothy M., Jung, Matthias, Kannoth, Subash, Khaleghzadeh, Hamidreza, Kodama, Yuetsu, Krishna, Tushar, Marinelli, Tommaso, Menard, Christian, Mondelli, Andrea, Moreto, Miquel, Mück, Tiago, Naji, Omar, Nathella, Krishnendra, Nguyen, Hoa, Nikoleris, Nikos, Olson, Lena E., Orr, Marc, Pham, Binh, Prieto, Pablo, Reddy, Trivikram, Roelke, Alec, Samani, Mahyar, Sandberg, Andreas, Setoain, Javier, Shingarov, Boris, Sinclair, Matthew D., Ta, Tuan, Thakur, Rahul, Travaglini, Giacomo, Upton, Michael, Vaish, Nilay, Vougioukas, Ilias, Wang, William, Wang, Zhengrong, Wehn, Norbert, Weis, Christian, Wood, David A., Yoon, Hongil, Zulian, Éder F.

The open-source and community-supported gem5 simulator is one of the most popular tools for computer architecture research. This simulation infrastructure allows researchers to model modern computer hardware at the cycle level, and it has enough fide

Externí odkaz: http://arxiv.org/abs/2007.03152

The gem5 Simulator: Version 20.0+

Autor: Lowe-Power, Jason, Ahmad, Abdul, Armejach, Adria, Herrera, Adrian, Roelke, Alec, Farmahini-Farahani, Amin, Mondelli, Andrea, Hansson, Andreas, Sandberg, Andreas, Gutierrez, Anthony, Harris, Austin, Akram, Ayaz, Hanindhito, Bagus, Pham, Binh, Bruce, Bobby, Shingarov, Boris, Beckmann, Brad, Escuin, Carlos, Menard, Christian, Weis, Christian, Rodrigues Carvalho, Daniel, Wood, David, Gope, Dibakar, Zulian, Éder, Black, Gabe, Bloom, Gedare, Travaglini, Giacomo, Khaleghzadeh, Hamidreza, Jang, Hanhwi, Nguyen, Hoa, Yoon, Hongil, Vougioukas, Ilias, Setoain, Javier, Gandhi, Jayneel, Castrillon, Jeronimo, Nathella, Krishnendra, Olson, Lena, Chen, Lizhong, Samani, Mahyar, Orr, Marc, Fariborz, Marjan, Andreozzi, Matteo, Sinclair, Matthew, Horsnell, Matthew, Jung, Matthias, Upton, Michael, Moreto, Miquel, Alian, Mohammad, Derumigny, Nicolas, Nikoleris, Nikos, Vaish, Nilay, Asmussen, Nils, Wehn, Norbert, Naji, Omar, Prieto, Pablo, Fotouhi, Pouya, Jagtap, Radhika, Thakur, Rahul, Jafri, Raza, Jeyapaul, Reiley, Amslinger, Rico, Gambord, Ryan, Bharadwaj, Srikant, Diestelhorst, Stephan, Kannoth, Subash, Haria, Swapnil, Ali, Syed, Grass, Thomas, Mück, Tiago, Hayes, Timothy, Jones, Timothy, Marinelli, Tommaso, Reddy, Trivikram, Ta, Tuan, Krishna, Tushar, Elsasser, Wendy, Wang, William, Kodama, Yuetsu, Wang, Zhengrong

The open-source and community-supported gem5 simulator is one of the most popular tools for computer architecture research. This simulation infrastructure allows researchers to model modern computer hardware at the cycle level, and it has enough fide

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::db24271bddc402330356989413710181
https://inria.hal.science/hal-03100818/document

Delorean: Virtualized Directed Profiling for Cache Modeling in Sampled Simulation

Autor: Nikoleris, Nikos, Hagersten, Erik, Carlson, Trevor E.

Current practice for accurate and efficient simulation (e.g., SMARTS and Simpoint) makes use of sampling to significantly reduce the time needed to evaluate new research ideas. By evaluating a small but representative portion of the original applicat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b2e0d253770b917d0c6300d3f9ef4dae
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-369320

Quantitative Characterization of Memory Contention

Autor: Eklöv, David, Nikoleris, Nikos, Black-Schaffer, David, Hägersten, Erik

On multicore processors, co-executing applications compete for shared resources, such as cache capacity and memory bandwidth. This leads to suboptimal resource allocation and can cause substantial performance loss, which makes it important to effecti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0b68f5546b473a5c8d2005c21336b5ec
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-182445