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
- VeriSilicon partners with LVGL to enable advanced GPU acceleration for wearable devices and beyond
- HighTec C/C++ Compiler Suite Supports Andes' ISO 26262 Certified RISC-V IP for Automotive Safety and Security Applications
- Imagination DXS GPU IP recognised as game-changer for the car industry
- Think Silicon and LVGL Accelerate Graphics Libraries for Microcontrollers
- Silicon Creations Collaborates with Interex Semiconductor to Distribute High-Performance IPs in India
Most Popular
- Silicon Creations Collaborates with Interex Semiconductor to Distribute High-Performance IPs in India
- Think Silicon and LVGL Accelerate Graphics Libraries for Microcontrollers
- HighTec C/C++ Compiler Suite Supports Andes' ISO 26262 Certified RISC-V IP for Automotive Safety and Security Applications
- Government of India creating enabling environment for Semiconductor Design Community with direct access to National Chip Design Infrastructure
- Siemens' Solido SPICE now certified for multiple leading-edge Samsung Foundry processes
E-mail This Article | Printer-Friendly Page |