Validation of compact models of microcantilever actuators for RF-MEMS application
Variable Threshold MOSFET Approach (Through Dynamic Threshold MOSFET) For Universal Logic Gates
Verification Across Intellectual Property Boundaries
Verification and Diagnosis Infrastructure of SoC HDL-model
Verification of Process Rewrite Systems in normal form
VHDL Implementation and Verification of ARINC-429 Core
Video shot boundary detection using motion activity descriptor
Virtual On-demand Test Lab using Cloud based Architecture
Von Neumann Quantum Logic vs. Classical von Neumann Architecture?