Bluetooth low energy v5.4 Baseband Controller, Protocol Software Stack and Profiles IP
Axiomise Celebrates Fourth Anniversary with Executive Appointments, Move to New Office
Builds on Growth and Momentum, Sets Stage for Next Level of Achievement
LONDON –– March 1, 2022 –– Axiomise, the leading provider of cutting-edge formal verification services, software and training, is celebrating its fourth anniversary with two executive-level appointments and a move to new offices.
Executive hires include Neil Dunlop, who joins Axiomise as chief technology officer (CTO), and Gurudutt Bansal (known as GD) who becomes chief operating officer (COO).
The new Axiomise facility is located in Breakspear Park in Hemel Hempstead 20 miles north of central London. The office will be home to the growing team of formal verification experts who will deliver consulting and services work as well as software development for RISC-V.
“We have plenty to celebrate as Axiomise marks its fourth anniversary and builds on our growth and momentum,” remarks Dr. Ashish Darbari, CEO and founder of Axiomise and a foremost authority in practical applied formal verification. “Both Neil and GD are standouts in the field of verification and will help me achieve Axiomise’s next level of growth.
“Dunlop is a gem with a rare ability to connect the dots and see the short- and long-term picture,” notes Dr. Darbari. “I’m delighted to welcome a fellow Oxonian to our team. He shares our vision for formal verification and will play a crucial role as our CTO driving formal deployment.” Dunlop has worked hands-on in the semiconductor industry for several decades and exclusively in the field of formal verification for more than 20 years since obtaining an MSc in Computation from the University of Oxford. As a formal verification expert with extensive experience using a variety of formal tools, he worked on hardware designs at Inmos, STMicroelectronics, ST Ericsson and Imagination Technologies.
“Bansal is an industry veteran with impressive leadership skills and a strong background in building different verification technologies and integrated solutions,” adds Dr. Darbari. “As we expand our reach, he will play a key role to help us build and manage our teams and infrastructure and accelerate our growth with customers.” Bansal was vice president of engineering and managing director of India operations for Oski Technology (now Nvidia). Previously, he was group director, R&D, at Synopsys and worked at Cadence Design Systems for close to 20 years leading R&D teams across India and the United States. Bansal holds a Bachelor in Tech, Computer Engineering from the Delhi Institute of Technology (DIT), now NSIT.
About Axiomise
Axiomise is dedicated to furthering adoption of formal verification through its unique combination of training, consulting, services and specialized verification solutions for RISC-V. Founded by Dr. Ashish Darbari, a formal verification practitioner for over two decades, it offers cutting-edge, formal verification training, consulting and services. An active user of all formal technologies, including theorem proving, model checking and equivalence checking, Dr. Darbari and his team has trained more than 200 engineers across the semiconductor industry. Dr Darbari has 44 U.S., U.K. and European Union patents in the field of formal verification.
|
Related News
- Alphawave IP Announces Appointments to its Executive Leadership team
- Agile Analog to move into iconic Radio House office block in Cambridge, UK to enable significant increase in engineering staff
- De-RISC, the H2020 project which will create the first RISC-V fully European platform for aerospace, celebrates its second anniversary
- EasyIC Design celebrates its 10th anniversary
- Silvaco Appoints Babak Taheri as new Chief Executive Office
Breaking News
- HPC customer engages Sondrel for high end chip design
- Ubitium Debuts First Universal RISC-V Processor to Enable AI at No Additional Cost, as It Raises $3.7M
- TSMC drives A16, 3D process technology
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
Most Popular
- Cadence Unveils Arm-Based System Chiplet
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- TSMC drives A16, 3D process technology
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
E-mail This Article | Printer-Friendly Page |