Sign in

Electrical Engineering Design

New York, New York, United States
February 02, 2018

Contact this candidate

Vamshi Kumar Rao Mahendrakar

*** ***** *********, *** **, Bronx, NY 10451 (646) ***-****


SoC / ASIC / Digital Design and Verification


Columbia University, New York, NY

Master of Science in Electrical Engineering. GPA: 3.3/4.0 Dec. 2017

Relevant Coursework: System on Chip Platforms, Computer Architecture, Formal Verification for HW/SW Systems,

Digital VLSI Circuits, Advanced Analog Integrated Circuits, Communication Circuits, and Analog Systems in VLSI.

SRM University, College of Engineering, Chennai, India

Bachelor of Technology in Electronic and Communication Engineering. GPA: 3.9/4.0 Jun. 2016

Relevant Coursework: Linear Integrated circuits, VLSI Circuits and Design, and Microprocessors & Microcontrollers.


Software & Scripting Languages: C, C++, Perl, TCL, Makefiles Operating Systems: Windows, Linux

Design Tools: Cadence (Spectre, Virtuoso, Encounter), LTSpice, MATLAB, Proteus, Eagle PCB, LabVIEW, Quartus,

ORCADLITE, Synopsis, Mentor QuestaSim, Cadence Stratus HLS

Hardware Languages: VHDL, Verilog, 8051/85/86 Assembly Language, SystemC, SystemVerilog

Verification Tools and Methodologies: Mentor Questa, Cadence JasperGold, UVM, OVM


Columbia University, New York, NY

Accelerator for VGG16 Convolutional Neural Network (CNN) Sep. 2017


Implemented an activation function of ReLU of VGG16 neural network in SystemC using Method, Thread, CThread.

Realized Device Under Test (DUT) and Test Benches communication with a TLM FIFO to classify the test images.

Designed a component level accelerator which is optimized to implement the layers of one stage of convolution layer

and fully connected layer. It is then combined with other stage accelerators to check CNN functionality on system level.

Implemented the accelerator to do space-time exploration with three designs: high performance, low area and a trade-off

between area and performance.

Regularly optimized three designs at the component level using various directives provided by Cadence Stratus HLS.

Full Proof FPV and Bug Hunting of Rush Hour Game Sep. 2017


Designed a Formal Property Verification plan with Mentor Questa and Cadence JasperGold by adding SVA cover,

assumptions, and assertions properties to constrain and verify the design specification of popular Rush Hour game.

Debugged the design code by analyzing the counterexample waveforms and reduced the state space complexity.

Assertion Based Verification of a Ring FIFO Sep. 2017 Oct. 2017

Property Check: Verified safety and liveness properties of a FIFO with unequal read and write clocks.

Equivalence Check: Developed a wrapper of two 4 Depth FIFO and verified its equivalence with 8 Depth FIFO and

incorporated the use of cut points in the design.

Developing SPI Master Slave Verification IP Sep. 2017 Oct. 2017

Implemented a UVM verification environment with master, slave, and scoreboard to check for the SPI bus protocol.

Created sequences that can model SPI transaction and SPI test class that starts sequences and verifies functionality.

Dynamic Frequency Scaling Feb. 2017 May. 2017

Designed a Frequency Controller for a system that contains multiple units of independent clocks. Frequency of each

unit is calculated periodically based on the occupancy queues and adjusted respective frequencies for synchronous

operation of the system.

Written code for sampling and control modules, synthesized using Synopsis, verified the functionality using Mentor

QuestaSim, and generated layout using Cadence Encounter.

Microprocessor Core Design [Cadence, IBM 90nm Technology] Sep. 2016

Dec. 2016

Designed transistor level microprocessor which can add, subtract, shift, load and store based on an 8-bit instruction set.

Created DRC and LVS clean layouts for 8-bit ripple carry adder, 8-bit logarithmic shifter, 8-bit SRAM and PLA.

Floating Point Accelerator Sep. 2016

Dec. 2016

Designed and optimized IEEE-754 single precision floating-point accelerator which implements exponential and

sinusoidal functions for a given input using RTL design flow.

Created a generalized Moore style ASM and designed its micro-architecture.

Contact this candidate