Bing Xue is a dedicated Formal Verification Engineer at Axiomise, with a strong academic and professional foundation in hardware verification. He completed his PhD at the University of Southampton, where he conducted cutting-edge research on Formal Verification, RISC-V, and the impact of Single Event Upsets. Bing is … Read More
Author: Daniel Nenni
How I learned Formal Verification
What is Wrong with Intel?
One of the most popular topics on the SemiWiki forum is Intel, which I understand. Many of us grew up with Intel, some of us have worked there, and I can say that the vast majority of us want Intel to succeed. The latest Intel PR debacle is the abrupt departure of CEO Pat Gelsinger. To me this confirms the answer to the question, “What is … Read More
CEO Interview: GP Singh from Ambient Scientific
Gajendra Prasad Singh, also known as GP Singh, is a seasoned tech professional with over 26 years of experience in advanced semiconductor chips. With a zeal to solve the most complex technical problems, he harped on a difficult journey to create programmable AI Microprocessors, that provide high-performance in a cost-effective… Read More
PDF Solutions Hosts Executive Conference December 12 on AI’s Power to Transform Semiconductor Design and Manufacturing
PDF Solutions, Inc. will host an AI Executive Conference Thursday, December 12, in San Francisco featuring keynotes, presentations, panels and demonstrations offering insights into the power of AI to transform semiconductor design and manufacturing. The conference immediately follows the 70th Annual IEEE International… Read More
CEO Interview: Ollie Jones of Sondrel
Sondrel has just appointed a new CEO, Ollie Jones, so we had a chat with him to find out his vision for the company.
Ollie is a highly driven, commercially astute senior leader with 20+ years Commercial and Business Development experience across Technology and Engineering sectors.
Ollie has worked extensively across Europe, North… Read More
CEO Interview: Dr. Yunji Corcoran of SMC Diode Solutions
Dr. Yunji Corcoran is the Chairwoman and CEO of SMC Diode Solutions. Dr. Corcoran has managed a successful career in the power semiconductor field for over 30 years, specializing in design, manufacturing, and global sales. She holds a bachelor’s degree in physics from Nanjing University and a PhD in semiconductor materials from… Read More
CEO Interview: Rajesh Vashist of SiTime
Rajesh Vashist is SiTime’s Chairman and Chief Executive Officer and has served in this role since September 2007. Prior to joining SiTime, Mr. Vashist served as CEO and chairman of the board of directors of Ikanos Communications, Inc., a semiconductor and software development company, from July 1999 to October 2006. Mr. Vashist… Read More
CEO Interview: Dr. Greg Newbloom of Membrion
Greg Newbloom, Ph.D., is the founder & CEO of Membrion, a cleantech startup focused on recycling wastewater from harsh industrial processes. Membrion makes electro-ceramic desalination (ECD) membranes out of the same material as the silica gel desiccant packets found in the bottom of a beef jerky package. Dr. Newbloom’s… Read More
CEO Interview: Sandeep Kumar of L&T Semiconductor Technologies Ltd.
Sandeep Kumar is the Chief Executive of LTSCT (L&T Semiconductor Technologies Ltd). A seasoned technology executive with over 35 years of experience, Kumar has a proven track record in building and scaling technology businesses globally.
As a pioneer in the Indian semiconductor industry, he has co-founded multiple technology… Read More
Relationships with IP Vendors
An animated panel discussion Design Automation Conference in June offered up a view of the state of RISC-V and open-source functional verification and a wealth of good material for a three-part blog post series.
Parts One and Two covered a range of topics from microcontroller versus more general-purpose processor versus running… Read More
Intel – Everyone’s Favourite Second Source?