ObsidianSoftware.com
Title
Use RAVEN Software for processor verification
Description
In 1997, Obsidian Software, Inc. was formed as a privately held Texas S Corporation. The company's founders were interested in solving challenging verification problems.
Processor verification is a dynamic, and uniquely complicated problem requiring a high-degree of domain expertise. While all sophisticated processors are verified using random test generators, not all companies use the latest technology. Perhaps out of fear of revealing company secrets, or a strong sense of not invented here, some companies choose to go it alone. As a rule, internally developed tools cannot leverage investments made by other companies, they are not well-supported, and they are difficult and costly to maimtain. For these reasons and others, most EDA tools transitioned to commercial tools in the 70's and 80's.
Obsidian tackled these problems by creating a commercially available tool called RAVEN, which is well supported, easily maintained, and leverages the development investments of others while protecting a company's proprietary knowledge.
Logos
