Author of the publication

Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification.

, , , and . J. Electronic Testing, 32 (5): 569-586 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Modeling of Parallel Repeater-Insertion Methodologies for SoC Interconnects., , , and . IEEE Trans. on Circuits and Systems, 55-I (1): 322-335 (2008)TBCD-TDM: Novel Ultra-Low Energy Protocol for Implantable Wireless Body Sensor Networks., , , and . GLOBECOM, page 1-6. IEEE, (2009)Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification., , , and . J. Electronic Testing, 32 (5): 569-586 (2016)Variable-segment & variable-driver parallel regeneration techniques for RLC VLSI interconnects., and . ACM Great Lakes Symposium on VLSI, page 118-123. ACM, (2002)Fully integrated CMOS capacitive sensor for Lab-on-Chip applications., , , , , and . ISCAS, page 233-236. IEEE, (2014)Parallel Implementation and Performance Analysis of a 3D Oil Reservoir Data Visualization Tool on the Cell Broadband Engine and CUDA GPU., , , , and . HPCC-ICESS, page 970-975. IEEE Computer Society, (2012)Piezoresistive cantilever platform for label-free detection of molecules., , , and . LASCAS, page 1-4. IEEE, (2014)A low-cost camera-based transducer tracking system for freehand three-dimensional ultrasound., , , and . NEWCAS, page 1-4. IEEE, (2016)Runtime hardware Trojan monitors through modeling burst mode communication using formal verification., , , and . Integration, (2018)Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices., , , , , and . ISCAS, page 1-5. IEEE, (2018)