Login / Signup
MTV
2003
2009
2013
2019
2003
2019
Keyphrases
Publications
2019
Ahmed Wahba
,
Justin Hohnerlein
,
Farhan Rahman
Expediting Design Bug Discovery in Regressions of x86 Processors Using Machine Learning.
MTV
(2019)
Ali Shuja Siddiqui
,
Geraldine Shirley
,
Sam Reji Joseph
,
Yutian Gui
,
Jim Plusquellic
,
Marten van Dijk
,
Fareena Saqib
Multilayer Camouflaged Secure Boot for SoCs.
MTV
(2019)
Prokash Ghosh
,
Rohit Srivastava
Case Study: SoC Performance Verification and Static Verification of RTL Parameters.
MTV
(2019)
Sankaran M. Menon
,
Ashish Gupta
,
Chinna Prudvi
,
Rolf Kühnis
,
Sukhbinder Singh Takhar
,
Spencer K. Millican
,
Eric Rentschler
,
Pandy Kalimuthu
,
Preeti Ranjan Panda
,
Priyadarsan Patra
Techniques for Debug of Low Power SoCs.
MTV
(2019)
Gaurav Rajavendra Reddy
,
Yiorgos Makris
Design Space Exploration for Hotspot Detection.
MTV
(2019)
Chetas Mapara
,
Jerrin Jose
Automated Test Picker for Complex Microprocessor Verification Environment.
MTV
(2019)
Jinsae Jung
,
Jaeun Park
,
Apurva Kumar
A Verification Framework of Neural Processing Unit for Super Resolution.
MTV
(2019)
Mir Tanjidur Rahman
,
Navid Asadizanjani
Backside Security Assessment of Modern SoCs.
MTV
(2019)
Sherif Hosny
,
Amr Baher
Design Crawler: A Web Application for Digital Design Metadata Analysis.
MTV
(2019)
Mikhail M. Chupilko
,
Alexander Kamkin
,
Alexander Protsenko
Open-Source Validation Suite for RISC-V.
MTV
(2019)
Kejun Chen
,
Qingxu Deng
,
Yumin Hou
,
Yier Jin
,
Xiaolong Guo
Hardware and Software Co-Verification from Security Perspective.
MTV
(2019)
Jeff Scott
,
Jonathan Sadowsky
,
Jigar Savla
RamGen: Moving Memories from Physical to the Logical Domain.
MTV
(2019)
Jigar Savla
Smarter Disk Space Management for Silicon Workflows.
MTV
(2019)
Annachiara Ruospo
,
Ernesto Sánchez
On the Detection of Always-On Hardware Trojans Supported by a Pre-Silicon Verification Methodology.
MTV
(2019)
20th International Workshop on Microprocessor/SoC Test, Security and Verification, MTV 2019, Austin, TX, USA, December 9-10, 2019
MTV
(2019)
2018
Asif Jafri
,
Jung-Wook Kim
Proving the Capability of Arm IP for Functional Safety Applications.
MTV
(2018)
Abdelfattah Munir
,
Mina Magdy
,
Samer Ahmed
,
Sherouk Nasr
,
Sameh El-Ashry
,
Ahmed Shalaby
Fast Reliable Verification Methodology for RISC-V Without a Reference Model.
MTV
(2018)
Harry Foster
2018 FPGA Functional Verification Trends.
MTV
(2018)
19th International Workshop on Microprocessor and SOC Test and Verification, MTV 2018, Austin, TX, USA, December 9-10, 2018
MTV
(2018)
Amr Moursi
,
Romaisaa Samhoud
,
Yaseen Kamal
,
Mazen Magdy
,
Sameh El-Ashry
,
Ahmed Shalaby
Different Reference Models for UVM Environment to Speed Up the Verification Time.
MTV
(2018)
Sameh El-Ashry
,
Ahmed Adel
Efficient Methodology of Sampling UVM RAL During Simulation for SoC Functional Coverage.
MTV
(2018)
Pratheema Mohandoss
,
Archana Rengaraj
Pre-Silicon DFT Verification on SOC Slim Model.
MTV
(2018)
Rekha Bangalore Bangalore
,
Adeosun luwatosin Oluwatosin
,
Kelvin K. Lam
Schmoo Data Analysis Using Machine Language Algorithms.
MTV
(2018)
Rekha Bangalore
,
Raji M. Bandanapudi
Application of Combinatorial Test (CT) Algorithm for Protocol and Hardware Feature Validation.
MTV
(2018)
Mikhail M. Chupilko
,
Alexander Kamkin
,
Artem Kotsynyak
,
Alexander Protsenko
,
Sergey A. Smolov
,
Andrei Tatarnikov
Test Program Generator MicroTESK for RISC-V.
MTV
(2018)
Manish Kumar Agarwal
,
Amandeep Sharan
,
Mohammad Asif Khan
,
Atul Gupta
Multi-Master Validation Framework for Next Generation Automotive SOCs.
MTV
(2018)
Shelly Henry
,
Nirabh Regmi
How to Close Coverage 10x Faster using Portable Stimulus Standard - A Case Study.
MTV
(2018)
Jigar Savla
Getting Started on Co-Emulation: Transition your Design and Testbench to an Emulator.
MTV
(2018)
Chetas Mapara
,
Priti Nagarajan
Transaction Based Speedup for Simulation Replay.
MTV
(2018)
Ayushi Agarwal
,
Pankaj Gupta
,
Atul Gupta
Advanced Regression Management for Post-Silicon Validation of Automotive SOCs.
MTV
(2018)
Calvin Deutschbein
,
Cynthia Sturton
Mining Security Critical Linear Temporal Logic Specifications for Processors.
MTV
(2018)
Siroos Madani
,
Mohammad R. Madani
,
Magdy A. Bayoumi
A Perceptron-Inspired Technique for Hardware Obfuscation.
MTV
(2018)
Yanhua Cao
,
Osama Shoubber
,
Pallavi Jesrani
Automatic Debug Quantification for Workload Balance and Progress Tracking.
MTV
(2018)
2017
Wei Hu
,
Armaiti Ardeshiricham
,
Ryan Kastner
Identifying and Measuring Security Critical Path for Uncovering Circuit Vulnerabilities.
MTV
(2017)
Kaushik Gopalakrishnan
,
Bipin Ravi
Anvil: Best in Class Multiprocessor Coherency Verification Tool.
MTV
(2017)
Liting Yu
,
Xiaoxiao Wang
,
Fahim Rahman
,
Mark M. Tehranipoor
iPUF: Interconnect PUF with Self-Masking Circuit for Performance Enhancement.
MTV
(2017)
Ahmed Abdel-Haleem
,
Magdy A. El-Moursy
TLM Virtual Platform for Fast and Accurate Power Estimation.
MTV
(2017)
Anand Raman
,
Yorgos Koutsoyannopoulos
,
Magdy Abadir
Electromagnetic (EM) Crosstalk Failures and Symptoms in SoC Designs.
MTV
(2017)
Martin Fajcik
,
Pavel Smrz
,
Marcela Zachariásová
Automation of Processor Verification Using Recurrent Neural Networks.
MTV
(2017)
Fahim Rahman
,
Mohammad Farmani
,
Mark M. Tehranipoor
,
Yier Jin
Hardware-Assisted Cybersecurity for IoT Devices.
MTV
(2017)
Jack Lawrence Mason
Validation of Context Preserving Thread-Level Speculative Execution Using N-Queens: Comparison of Non-CPSE and CPSE-enabled Applications.
MTV
(2017)
Ahmed Wahba
,
Justin Hohnerlein
,
Farhan Rahman
,
Li-C. Wang
Dynamic Exerciser Template Weighting in x86 Processor Verification.
MTV
(2017)
Siroos Madani
,
Magdy A. Bayoumi
A Security-Aware Pre-partitioning Technique for 3D Integrated Circuits.
MTV
(2017)
Khaled Salah
A Unified UVM Architecture for Flash-Based Memory.
MTV
(2017)
Madhukarreddy Pappireddy
,
Bipin Ravi
SequenceLanguage: A Constraint Random MP-RIS Generation Framework.
MTV
(2017)
18th International Workshop on Microprocessor and SOC Test and Verification, MTV 2017, Austin, TX, USA, December 11-12, 2017
MTV
(2017)
Mark Nelson
,
Peter-Michael Seidel
Modeling and Analysis of Secure Processor Extensions Based on Actor Networks.
MTV
(2017)
Mikhail M. Chupilko
,
Alexander Kamkin
,
Artem Kotsynyak
,
Alexander Protsenko
,
Sergey A. Smolov
,
Andrei Tatarnikov
Maintaining ISA Specifications in MicroTESK Test Program Generator.
MTV
(2017)
2016
Prasad Krishna Saravu
Multi-processor Memory Scoreboard: A Multi-processor Memory Ordering and Data Consistency Checker.
MTV
(2016)
Khaled Fathy
,
Khaled Salah
An Efficient Scenario Based Testing Methodology Using UVM.
MTV
(2016)