IBM®
Skip to main content
    Israel [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

FoCs

Formal Verification


Getting Started with FoCs


To start using FoCs, you will need the installation package and approximately one hour to install and learn to use it.

For a license to use FoCs, please contact Dmitry Pidan in IBM Haifa.

IBM ASIC customers can contact their FAE or Matt Welland in IBM Burlington, or Dmitry Pidan in IBM Haifa.

RuleBase users can contact their support contact in IBM Haifa.

IBM engineers worldwide can normally access FoCs through IBM's global tool repository or site-specific repositories. Contact Dmitry Pidan for details.

Lastly, a trial version of FoCs - with support for the emerging standard assertion language Sugar 2.0 - is now available from IBM alphaWorks.

 
 

    About IBMPrivacyContact