View all newsletters
Receive our newsletter - data, insights and analysis delivered to you
  1. Technology
September 16, 1998

FORMAL VERIFICATION SOFTWARE HOUSE ABSTRACT TO CLOSE

By CBR Staff Writer

Abstract Inc, the troubled formal verification software house, is set to close, along with its UK parent, Abstract Design Automation Ltd. The firm lost its chairman and founder, Gerry Musgrave last month, following an argument with Mek Rahmani, the company’s chief executive officer. Rahmani wanted to shift the company to address the mainstream market, rather than remaining in its niche high-end (CI No 3,474). But he has now admitted to EE Times that Abstract had not gained enough customers to survive. There are only three real customers, all in Europe. One of those is Siemens AG, from where Abstract’s technology was originally derived. The company was working on model checking and futuristic theorum. Intel Corp looked as if it might have been the company’s savior: it invested an undisclosed amount above $5m in the company back in February (CI No 3,345) and was said to be working with Abstract on formal design verification technology. Synposys Inc, Cadence Design Systems Inc and Mentor Graphics Corp have all been moving into the verification market, although Abstract’s most direct competitor is Chrysalis Symbolic Design Inc of North Billerica, Massachusetts, the current market leader.

Websites in our network
NEWSLETTER Sign up Tick the boxes of the newsletters you would like to receive. Tech Monitor's research, insight and analysis examines the frontiers of digital transformation to help tech leaders navigate the future. Our Changelog newsletter delivers our best work to your inbox every week.
I consent to New Statesman Media Group collecting my details provided via this form in accordance with the Privacy Policy
SUBSCRIBED
THANK YOU