EDACafe Weekly Review July 3rd, 2014

Responding to customer demand and advances in technology, there is currently a strong trend among building security system manufacturers to evolve their products from traditional analog systems to IP-based products. Doing this allows them to leverage widespread innovation in IP-based communication systems through Cloud services. These new security systems are much more than just intruder alarms. They offer increased functionality, connectivity, and access options to take advantage of the capabilities of emerging technology. They provide a much richer set of features such as voice over IP (VoIP), call routing, rule-based response, and even allow access via mobile devices.

Beginning with the End in Mind: Graphs and Formal
June 30, 2014  by Tom Anderson, VP of Marketing

I’ve written about formal analysis rather frequently in this blog, although I do not consider Breker’s products to be formal in nature. There are several reasons for this. After ten years working with formal tools, I remain personally interested in that market. I also see interesting parallels between the adoption of formal and graph-based technologies. Further, whenever we cover formal analysis we get a great response. Clearly our readers like the topic as well.

I’m returning to formal this week because of a provocative comment made by one of our customers at DAC a few weeks ago. Wolfgang Roesner from IBM participated on the show floor in a Pavilion Panel called “The Asymptote of Verification.” Among several astute observations about the attributes of graph-based scenario models, he made a comparison with formal analysis that I found especially perceptive.



You are registered as: [uestckui@foxmail.com].

CafeNews is a service for EDA professionals. EDACafe.com respects your online time and Internet privacy. Edit or Change my newsletter's profile details. Unsubscribe me from this newsletter.

Copyright © 2017, Internet Business Systems, Inc. — 25 North 14th Steet, Suite 710 San Jose, CA 95112 — +1 (408) 882-6554 — All rights reserved.