Value Lies at the Intersection of Disparate Disciplines

James Colgan

Subscribe to James Colgan: eMailAlertsEmail Alerts
Get James Colgan via: homepageHomepage mobileMobile rssRSS facebookFacebook twitterTwitter linkedinLinkedIn

Related Topics: Construction News

Blog Feed Post

Atrenta to Participate in Formal Verification, Energy Efficiency and 3D Sessions at DATE 2013

Date: Thursday, March 21, 2013
Time: 1100 - 1230
Location / Room: Chartreuse

Automatically computing abstractions of large circuits combined with powerful SAT and SMT solvers is key to the success of formal verification techniques. The papers of this session present significant improvements in abstraction techniques and SAT/SMT-based optimizations. SAT- and SMT-abstractions are guided by unsatisfiable cores. Three papers address the issue of reducing the size of interpolants generated during the construction of abstractions. The second paper proposes a new abstraction technique demonstrating a significant improvement in gate-level abstractions.

For more information, go here.

Read the original blog entry...

More Stories By James Colgan

James Colgan is the Founder and CEO of Xuropa, a unique cloud-based Sales & Marketing Platform for packaged software vendors for the demo and retail of their products via the cloud. Built upon a unique lead nurturing and analytics engine, Xuropa enables software vendors to conveniently deliver their products on the cloud and drive the resultant sales pipeline to increase revenues and profits.
Built upon nearly 20 years of high-tech experience, James has been pushing the envelope of cloud computing, focused on the intersection between the cloud, Customer Relationship Management (CRM), and Social Media Marketing, particularly as it relates to traditional installed software.