Dual Port Register File Compiler (1 Read-Only Port, 1 Write-Only Port)
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
- Arteris Joins Intel Foundry Accelerator Ecosystem Alliance Program to Support Advanced Semiconductor Designs
- SkyeChip Joins Intel Foundry Accelerator IP Alliance
- Siemens and Intel Foundry advance their collaboration to enable cutting-edge integrated circuits and advanced packaging solutions for 2D and 3D IC
- Cadence Expands Design IP Portfolio Optimized for Intel 18A and Intel 18A-P Technologies, Advancing AI, HPC and Mobility Applications
- Synopsys and Intel Foundry Propel Angstrom-Scale Chip Designs on Intel 18A and Intel 18A-P Technologies
Most Popular
- QuickLogic Delivers eFPGA Hard IP for Intel 18A Based Test Chip
- Siemens collaborates with TSMC to drive further innovation in semiconductor design and integration
- Aion Silicon Joins Intel Foundry Accelerator Design Services Alliance to Deliver Next-Generation Custom SoCs at Scale
- TSMC Unveils Next-Generation A14 Process at North America Technology Symposium
- BOS Semiconductors to Partner with Intel to Accelerate Automotive AI Innovation
![]() |
E-mail This Article | ![]() |
![]() |
Printer-Friendly Page |