• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 18 matches

• 2018
• 
  Ayushi Agarwal, Pankaj Gupta, Atul Gupta:
  Advanced Regression Management for Post-Silicon Validation of Automotive SOCs. MTV 2018: 56-60
• 
  Manish Kumar Agarwal, Amandeep Sharan, Mohammad Asif Khan, Atul Gupta:
  Multi-Master Validation Framework for Next Generation Automotive SOCs. MTV 2018: 35-39
• 
  Rekha Bangalore, Raji M. Bandanapudi:
  Application of Combinatorial Test (CT) Algorithm for Protocol and Hardware Feature Validation. MTV 2018: 31-34
• 
  Rekha Bangalore, Adeosun luwatosin Oluwatosin, Kelvin K. Lam:
  Schmoo Data Analysis Using Machine Language Algorithms. MTV 2018: 79-85
• 
  Yanhua Cao, Osama Shoubber, Pallavi Jesrani:
  Automatic Debug Quantification for Workload Balance and Progress Tracking. MTV 2018: 52-55
• 
  Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov:
  Test Program Generator MicroTESK for RISC-V. MTV 2018: 6-11
• 
  Calvin Deutschbein, Cynthia Sturton:
  Mining Security Critical Linear Temporal Logic Specifications for Processors. MTV 2018: 18-23
• 
  Sameh El-Ashry, Ahmed Adel:
  Efficient Methodology of Sampling UVM RAL During Simulation for SoC Functional Coverage. MTV 2018: 61-66
• 
  Harry Foster:
  2018 FPGA Functional Verification Trends. MTV 2018: 40-45
• 
  Shelly Henry, Nirabh Regmi:
  How to Close Coverage 10x Faster using Portable Stimulus Standard - A Case Study. MTV 2018: 28-30
• 
  Asif Jafri, Jung-Wook Kim:
  Proving the Capability of Arm IP for Functional Safety Applications. MTV 2018: 1-5
• 
  Siroos Madani, Mohammad R. Madani, Magdy A. Bayoumi:
  A Perceptron-Inspired Technique for Hardware Obfuscation. MTV 2018: 24-27
• 
  Chetas Mapara, Priti Nagarajan:
  Transaction Based Speedup for Simulation Replay. MTV 2018: 73-75
• 
  Pratheema Mohandoss, Archana Rengaraj:
  Pre-Silicon DFT Verification on SOC Slim Model. MTV 2018: 76-78
• 
  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: 67-72
• 
  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: 12-17
• 
  Jigar Savla:
  Getting Started on Co-Emulation: Transition your Design and Testbench to an Emulator. MTV 2018: 46-51
• 
  19th International Workshop on Microprocessor and SOC Test and Verification, MTV 2018, Austin, TX, USA, December 9-10, 2018. IEEE 2018, ISBN 978-1-5386-9250-9 [contents]