Soumen Basak
Design Verification Manager - Formal Technologies at Intel Corporation
- Role
- Design Verification Manager - Formal Technologies at Intel
- Location
- Bengaluru, KA, IN
- LinkedIn followers
- 500 followers
About Soumen Basak
Am back to VLSI design domain with Intel. Setting up the Formal verification team here in Bangalore Development Center.Creating the Siftwallet web app, an app for automatic refunds from hidden credit card benefitsBuilt the SAS product team at a FinTech startup in Bangalore. Architecture definition and setup, team building, MVP definition, development, deployment.Headed the Technology team for assessments division of eLitmus. Conceptualizing, developing and deploying products for customers and having thousands of users on it within weeks keeps the adrenaline going. Add to that the heady mix of customer demands and recruitment challenges for the team. Technologies used: Ruby On Rails, MvSQL, Nginx, MongoDB, NodeJS+Socket.ioFounded DSipher Design Solutions in 2008 with the view of democratizing VLSI design using online web platform. Pivoted to E-Learning domain and was eventually acquired by the leading technical assessment player in India. Technologies used: LAMPMy past life in the VLSI domain was intellectually challenging but slow and steady. I was lucky to be in Verification which is by far the most happening domain in VLSI. Starting from verilog module level directed testing to System Verilog UVM based constrained random verification of SOCs to Assertion based Formal verification, I was exposed to almost all the evolving methodologies of VLSI verification technologies.
Experience
Design Verification Manager - Formal Technologies
Nov 2020 — Present · Bengaluru, IN
Bringing up the Big Core Formal verification team at Bangalore Center.
Education
Delhi Public School - Ranchi
AISSE & AISSCE (CBSE), Ecomomics, Mathematics, Science, Social Science, Language Study
1990 — 1996
Indian Institute of Technology, Bombay
Btech, EE
1996 — 2000
Skills
- Verilog
- Semiconductor Design
- Asic
- Semiconductors
- Formal Verification
- Vlsi
- Embedded Systems
- Eda
- User Interface Design
- Algorithms
- Integrated Circuit Design
- Systemverilog
- Web Applications
- Functional Verification
- Amba Ahb
- Rtl Design
- Web Design
- Soc
- Javascript
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.