Date Posted: November 18, 2002
Overview
What is FoCs Property Checkers Generator?
This technology has graduated.
The technology of synthesizing PSL assertions into an executable code to be later used in simulation is now widespread and common to almost any RTL compiler vendor.
FoCs core technology was used in an IBM engagement.
About the technology author(s)
Gil Shapir, leader of the FoCs Property Checkers Generator and RuleBase projects, has led projects at the IBM Research Lab in Haifa, Israel, since 1996. Among these other projects were the Hermitage Museum project (Web site and interactive kiosk) and WAP hosting.
Anat Dahan, the former FoCs project leader, has also worked in the area of CSP (Constraint Satisfaction Problems). Mrs. Dahan joined the IBM Research Lab in Haifa, Israel, in 2001.
Dmitry Pidan has developed and maintained FoCs Property Checkers Generator since 2000. He is in contact with customers and is involved in the design of new FoCs features.
Ilan Beer has held various research and development roles in the IBM Research Lab in Haifa, Israel, since 1989. He initiated and led the development of IBM's breakthrough formal verification tool, RuleBase. Currently, Mr. Beer works on bio-informatics activity at IBM in cooperation with the Technion, Israel's Institute of Technology.
Yaron Wolfsthal, Ph.D., has held various positions since 1989 at IBM Almaden Research Lab, IBM Palo Alto Scientific Center, and IBM Haifa Research Lab. Since 1995, Dr. Wolfsthal has managed IBM's formal verification activities in the Haifa lab.
