WebsiteGear Logo Log In
New User? Sign Up
About | Contact | FAQ
  Home News Website Related Online Marketing Sunday, April 21, 2019 
Add Press Release News | News Feeds Feeds | Email This News Email


Axiomise to Showcase Scalable Formal Verification Methodologies
Monday, February 11, 2019

Demystifying formal verification

LONDON, Feb. 11, 2019 /PRNewswire/ -- Axiomise®, a formal verification training, consulting and services company will have major presence at DVCon USA between 25-28 Feb. 2019. Dr Ashish Darbari, founder & CEO of Axiomise will demystify formal verification through several presentations. Dr Darbari will present a paper titled "Smart Formal for Scalable Verification, as part of the Formal Verification Techniques session" on Wednesday 27 Feb. where he talks about techniques of bug hunting and obtaining exhaustive proofs on sequential designs. Recently, Axiomise reported finding bugs in seconds when carrying out end-to-end functional verification on designs with over 1 billion gates without black-boxing and cut-pointing using proof accelerators from Axiomise.

Tackling proof complexity for control and datapath dominated designs is a known challenge for formal verification. In a tutorial on Thursday 28 Feb, Dr Darbari will join Synopsys® VC Formal team to present a tutorial on "Tackling the Complexity Problem in Control and Datapath Designs with Formal Verification". Dr Darbari will be available throughout DVCon for any discussions and lively debates on formal.

"Using formal verification to sign-off designs for functional, safety and security verification remains a challenging problem because we lack good methodologies. Both the talk on Wednesday and the tutorial on Thursday is an attempt in the direction of demystifying formal so more users can benefit from it and go beyond the automated use of apps. Recently, we introduced the ADEPT FV® agile flow for formal verification. In these talks, we will show how it can be used for finding bugs as well as obtaining exhaustive proofs", says Dr Darbari, founder & CEO of Axiomise.

Summary

First Event

What: Smart Formal for Scalable Verification

When: 27 Feb 2019, 3 pm - 4.30 pm

Where: Fir room, Doubletree Hotel, San Jose, CA

Second Event

What: Tackling the Complexity Problem in Control and Datapath Designs with Formal Verification

When: 28 Feb 2019, 8.30 am - 11.30 am

Where: Fir room, Doubletree Hotel, San Jose, CA

About Axiomise

Axiomise offers cutting-edge formal verification training, consulting and services. Axiomise is fully dedicated to enabling formal through its combination of training, consulting and services. Axiomise Ltd. was founded by Dr Ashish Darbari a reputable thought leader in the field of formal verification. Dr Darbari obtained his DPhil from the University of Oxford and has been a user of formal methods for over 20 years. Before starting Axiomise, Dr Darbari worked at Intel, ARM, Imagination Technologies, and OneSpin Solutions. At Imagination, he founded and led the AVM group where he trained nearly 100 engineers in formal verification. He led the AVM team to deploy formal on over 50 projects in a little over three years. Dr Darbari recently completed a three-year Royal Academy of Engineering Visiting Professorship at the University of Southampton, England. With 18 US, UK and EU patents and two dozen papers in conferences, Dr Darbari is a Senior member of IEEE and ACM; and a Fellow of British Computing Society, and IETE.

Axiomise: Predictable Formal Verification.

Engage with Axiomise at:

Website: www.axiomise.com

Twitter: @axiomise

LinkedIn: https://www.linkedin.com/company/axiomise/

Facebook: https://www.facebook.com/axiomise

Axiomise, ADEPT FV and the Axiomise logo are trademarks of Axiomise Limited, UK.

Related Images

axiomise.png
Axiomise
Logo

formal-verification-for-1-billion.jpg
Formal verification for 1 billion gates
Axiomise Bug Hunting Methodology

axiomise-adept-fv.png
Axiomise ADEPT FV
Agile Formal Verification

formal-verification-of-socs.png
Formal Verification of SoCs
Axiomise formal verification methodology

Related Links

Axiomise Solutions

Axiomise Testimonials

Related Video

http://www.youtube.com/watch?v=wNTKqixLdxg

View original content:http://www.prnewswire.com/news-releases/axiomise-to-showcase-scalable-formal-verification-methodologies-300792835.html

SOURCE Axiomise



Email This News Email | Submit To Slashdot Slashdot | Submit To Digg.com Digg | Submit To del.icio.us Del.icio.us | News Feeds Feeds

RELATED NEWS ARTICLES
Nav MENA Dojo's Third Edition Under Way in Kuwait | Apr 20, 2019
Nav Hitachi Cable America Releases Revolutionary Category 6A Cable Design | Apr 20, 2019
Nav 420 day exciting deals on CBD oil products exclusively on Green The Vote Ok | Apr 20, 2019
Nav First Financial Bankshares To Live Stream Annual Meeting | Apr 19, 2019
Nav Earth Day 2019 SunDance's Continued Commitment to Sustainability | Apr 19, 2019
Nav Women in Tech - Leading in the Tech World | Apr 19, 2019
Nav TTEC Schedules First Quarter 2019 Earnings Release and Webcast of Investor Conference Call | Apr 19, 2019
Nav Pawn Industry Embraces Online Options for Retail and Marketing | Apr 19, 2019
Nav Tencent Music Entertainment Group Filed 2018 Annual Report on Form 20-F | Apr 19, 2019
Nav ProfNet Experts Available on Notre Dame, Health Breakthroughs, Fostering Pets, More | Apr 19, 2019
NEWS SEARCH

FEATURED NEWS | POPULAR NEWS
Submit News | View More News View More News