Formal Methods in Computer-Aided Design (FMCAD) 2015

FMCAD 2015 is the fifteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

Oski Technology will again sponsor the annual Hardware Model Checking Competition (HWMCC) Deep Bound track award. This is the 8th competitive event for hardware model checkers, and recognizes outstanding technological achievement for solving the most challenging formal verification problems, from end to end. Oski has been a key sponsor for these events over the years, and proposed the addition of Deep Bound Track in 2011 to sponsor research in formal verification, in order to reach deeper proof bound.

Oski will participate in the following events:

  • Tuesday September 29, 2pm Applications and Case Studies
    • Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson and Vigyan Singhal. Compositional Reasoning Gotchas in Practice
  • Tuesday September 29, 4:30pm
    • Industry Panel: Formal Verification in the Industry – a 2020 vision (Session Chair: Roope Kaivola)


  • David Hardin (Rockwell Collins)
  • Roope Kaivola (Intel)
  • Naren Narasimhan (Calypto)
  • Vigyan Singhal (OSKI)
  • Daryl Stewart (ARM)

About Oski

Oski Technology is the world’s first and only formal verification services company to successfully leverage off-the-shelf EDA tools with a unique formal verification methodology for the proper integration of formal with simulation and End-to-End Formal verification. Oski has pioneered a new approach with its proprietary Oski Abstraction Models, delivering complete End-to-End Formal verification of even the most complex SOC designs.

Visit Oski Technology at