Craig Shirley
President & CEO

Craig Shirley is the president and CEO for Oski Technology. Prior to joining Oski, he was vice president of worldwide sales at IC Manage. Previously, Craig served as Apache Design Solutions’ vice president of worldwide sales (acquired by ANSYS), achieving a compound annual revenue growth rate of over 25% over his 5-year tenure. Preceding Apache, he was vice president of worldwide sales and support at Jasper Design Automation (acquired by Cadence). Craig also served as vice president of North American sales at Verisity where he developed and scaled the worldwide customer engagement model to drive the startup to $70 million in annual revenue and the best performing IPO of 2001. Craig graduated with honors from Auburn University with a Bachelor of Computer Engineering degree.

Vigyan Singhal

Vigyan Singhal is the founder and chairman of Oski Technology. He has worked in the semiconductor and EDA industries for more than 25 years. Previously he founded Jasper Design Automation, later acquired by Cadence. Vigyan has been applying formal verification on industrial designs since verifying simulation-resistant pieces of the PowerPC 601 at Motorola, post-silicon, in 1993. Later, Vigyan was at Cadence, where he built their first-general formal verification tool. He has authored more than 70 publications and holds 14 patents in IC design and verification. Vigyan has a PhD in EECS from the University of California at Berkeley and a BTech in Computer Science from IIT Kanpur where he graduated at the top of his class.

Sabyasachi Nag
Vice President Engineering and Managing Director of India Operations

Sabyasachi “Saby” Nag is the Vice President of Engineering and Managing Director of India operations at Oski Technology. Saby has over 23 years of experience in EDA and semiconductor industries. Previously, he co-founded Azventa Technologies, where he built and scaled a design services practice. Prior to that, he was a senior manager at IBM, working on microprocessor development. Prior to IBM, Saby worked at Magma Design Automation as an engineering director focusing on extraction products. Earlier, he worked at Intel, Lucent Technologies, and Texas Instruments in EDA tools and CAD methodologies development. Saby holds a Bachelor of Electronics and Telecommunication Engineering degree from Jadavpur University, Kolkata.

Chirag Agarwal
Director of Engineering

Chirag Agarwal has over 17 years of experience in the semiconductor industry. Before joining Oski Technology, Chirag held engineering and management positions with Marvell Semiconductor, Agilent Technologies, Centillium Communications and Motorola where he used Formal and simulation to successfully verify a variety of designs. At Oski, he leads a team that delivers unmatched expertise and value to customers verifying IP and ASIC projects targeting CPUs, GPUs, switching, data storage, networking, wireless, and networking on chip (NoC) designs. Chirag holds a BTech in Electrical Engineering from IIT Kanpur.

Karim Khordoc
Principal, Formal Methods

Karim Khordoc has more than 25 years of experience in the ASIC design and verification industry and 10 years of academic research experience in formal and semi-formal methods. Before joining Oski Technology, Karim held engineering leadership positions with Rianta Solutions and Cisco Systems, where he successfully led engineering teams in the design and verification of ASIC systems and IP, and made significant contributions to the engineering methodologies related to these systems. Karim brings to Oski a unique blend of architecture, micro-architecture, RTL, formal and simulation-based expertise. Karim holds a PhD in Computer Engineering, as well as an M.Eng. and B.Eng., Electrical & Computer, from McGill University, Montreal, Canada.

Ping Yeung
Principal, Formal Methods

Ping Yeung has more than 25 years of product development, application, and technical marketing experience in the EDA industry. Before joining Oski Technology, Ping held technical leadership positions in Siemens EDA, Mentor Graphics, and 0-In Design Automation. He was part of the team that developed and introduced Assertion-Based Verification (ABV), Formal Verification, and Clock-Domain-Crossing (CDC) verification to the electronics design industry. Ping holds a PhD in Computer Engineering from the University of Edinburgh and has seven patents in the formal verification and clock-domain crossing verification areas.

Board of Directors

Vigyan Singhal

Craig Shirley
Board Member

Kashyap Deorah
Board Member

Kashyap Deorah is an entrepreneur and investor. Over eighteen years, he has split his time between Silicon Valley and India building global technology companies. Besides India and US, he has done business in China, South East Asia and Northern Europe. Kashyap has started and sold three companies, worked with public companies in the US and India, invested in a score of startups, and mentored many more. He started his first company RightHalf.com during his final year at IIT Bombay in 2000. After an acquisition by a Silicon Valley company, Kashyap spent seven years in the US. He returned to India in 2007 to start Chaupaati Bazaar, a phone commerce marketplace, then merged it with India’s leading retailer Future Group. In 2012, he co-founded mobile payments company Chalo and sold it to San Francisco based OpenTable, a leader in the restaurant reservations space. He is now running his fourth startup HyperTrack from their San Francisco headquarters. He is passionate about traveling to new places and telling a good story. He lives in Berkeley with his wife, six year old son and two year old daughter. Hear him tweet @righthalf.

HarGovind Singh

HarGovind Singh has over 19 years of experience in the semiconductor industry. Before Oski Technology, HarGovind held key technical and managerial positions in Chip Design Private Limited (later acquired by Oski) where he designed and verified modulation and demodulation chains of multiple OFDM based standards for both fixed line and wireless applications. At Oski, he leads a team that delivers unmatched expertise and value to customers verifying IP and ASIC projects targeting CPUs, GPUs, wireless, and networking on chip (NoC) designs using Oski Block Level and System Architecture Formal Sign-off methodology. HarGovind holds a B.E. in Electronics and Communication Engineering from Netaji Subhas Institute of Technology, Delhi and M.E. in Microelectronics from IISc, Bangalore.