2007 -
now Principal Engineer (emphasis on Formal Verification) @
2006 -
2007 HW Engineer @
2001 -
2006 Member of Technical Staff @
1995 -
2000 MTS @
1993 -
1994 Intern @ Bell Communications Research
B. Krishna Education
University of Kentucky
Master Of Science (Computer Science)
1992
-
1995
Indian Institute of Technology Roorkee
(Computer Science)
1988
-
1992
B. Krishna Skills
RTL design
Formal Verification
Model Checking
Operating Systems
lego technic
satire
Verilog
ASIC
Computer Architecture
Lego
Functional Verification
Ethernet
SystemVerilog
SoC
EDA
Processors
FPGA
Device Drivers
VLSI
Hardware Architecture
Application-Specific Integrated Circuits (ASIC)
System on a Chip (SoC)
Field-Programmable Gate Arrays (FPGA)
Very-Large-Scale Integration (VLSI)
B. Krishna Summary
B. Krishna, based in Sunnyvale, CA, US, is currently a Principal Engineer (emphasis on Formal Verification) at Chelsio Communications. B. Krishna brings experience from previous roles at Cisco Systems, Chelsio Communications Inc, Silicon Graphics Inc and Bell Communications Research. B. Krishna holds a 1992 - 1995 Master Of Science in Computer Science @ University of Kentucky. With a robust skill set that includes RTL design, Formal Verification, Model Checking, Operating Systems, lego technic and more. B. Krishna has 2 emails on RocketReach.
Get contact details of over 700M profiles across 60M companies - all with industry-leading accuracy. Sales and Recruiter users, try out our Email Finder Extension.
Use our AI-Powered Email Finder
Find business and personal emails and mobile phone numbers with exclusive coverage across niche job titles, industries, and more for unparalleled targeting. Also available via our Contact Data API.