المؤلفون: Sathish, Srujan, N, Prajwal, R, Akshaya, Kaustubha, Kumar, Sudeendra

المصدر: 2024 IEEE 4th International Conference on VLSI Systems, Architecture, Technology and Applications (VLSI SATA) VLSI Systems, Architecture, Technology and Applications (VLSI SATA), 2024 IEEE 4th International Conference on. :1-6 May, 2024

Relation: 2024 IEEE 4th International Conference on VLSI Systems, Architecture, Technology and Applications (VLSI SATA)

المؤلفون: Dong, Ning, Guanciale, Roberto, Dam, Mads, Loow, Andreas

المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :247-256 Oct, 2023

Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Choudhury, Ananya, Siddamal, Saroja V, Mallidue, Jayashree

المصدر: 2022 International Conference on Distributed Computing, VLSI, Electrical Circuits and Robotics ( DISCOVER) Distributed Computing, VLSI, Electrical Circuits and Robotics ( DISCOVER), 2022 International Conference on. :57-60 Oct, 2022

Relation: 2022 International Conference on Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER)

المؤلفون: Dong, Ning

المساهمون: Guanciale, Roberto, Associate professor, Dam, Mads, Professor, 1955, Myreen, Magnus, Professor

المصدر: TRITA-EECS-AVL.

مصطلحات موضوعية: Formal Verification, Information Flow, Refinement, Interactive Theorem Prover, HOL4, Serial Interface, Pipelined Processor, Microarchitecture, Out-of-order Execution, Formell Verifiering, Informationsflöde, Förfining, Interaktiva Bevisprogrammet, Seriellt Gränssnitt, Mikroarkitektur, Omordnad Exekvering, Datalogi, Computer Science

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-341484
https://kth.diva-portal.org/smash/get/diva2:1821827/FULLTEXT01.pdf

المؤلفون: Priyadarshi, Sidhant^Aff12, Siddamal, Saroja V.^Aff12, Narode, Apoorva^Aff12, Chillal, Vaishnavi^Aff12, Sonar, Vikash^Aff12

المساهمون: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Tuba, Milan, editor^Aff9, Akashe, Shyam, editor^Aff10, Joshi, Amit, editor^Aff11

المصدر: ICT Systems and Sustainability : Proceedings of ICT4SD 2023, Volume 1. 765:387-395

المؤلفون: Marcelli, Andrea, Sanchez, Ernesto, Sasselli, Luca, Squillero, Giovanni

المصدر: 2018 IEEE 3rd International Verification and Security Workshop (IVSW) Verification and Security Workshop (IVSW), 2018 IEEE 3rd. :31-37 Jul, 2018

Relation: 2018 IEEE 3rd International Verification and Security Workshop (IVSW)

المؤلفون: Pandey, Amit

المصدر: 2016 International Conference on Inventive Computation Technologies (ICICT) Inventive Computation Technologies (ICICT), International Conference on. 2:1-6 Aug, 2016

Relation: 2016 International Conference on Inventive Computation Technologies (ICICT)

المؤلفون: Bafna, C.B., Chaudhari, M., Berde, A., Sharma, S., Jashnani, K.

المصدر: 2016 3rd International Conference on Computing for Sustainable Global Development (INDIACom) Computing for Sustainable Global Development (INDIACom), 2016 3rd International Conference on. :383-387 Mar, 2016

Relation: 2016 3rd International Conference on Computing for Sustainable Global Development (INDIACom)

المؤلفون: An Yang

المصدر: 2015 IEEE International Conference on Communication Problem-Solving (ICCP) Communication Problem-Solving (ICCP), 2015 IEEE International Conference on. :30-33 Oct, 2015

Relation: 2015 IEEE International Conference on Communication Problem-Solving (ICCP)

المؤلفون: Saravanan, P., Ramasamy, S.

المصدر: 2013 Fourth International Conference on Computing, Communications and Networking Technologies (ICCCNT) Computing, Communications and Networking Technologies (ICCCNT),2013 Fourth International Conference on. :1-6 Jul, 2013

Relation: 2013 Fourth International Conference on Computing, Communications and Networking Technologies (ICCCNT)