Chris Shalick presented IVerifySpec at DAC 2010

Lowell, MA, June 10th 2010

GateRocket CTO Chris Shalick will present the benefits of using IVerifySpec at the Design Automation Conference 2010 in Anaheim, CA. This would also cover how IVerifySpec can get you fast closure for your verification challenges and keep the team focused.

Overcoming the weaknesses of traditional natural language specifications requires writing the specifications in a precise format rather than natural language, and making this format executable so that tools can generate as many files as possible for the design, verification, programming, validation, and documentation teams. Learn how Agnisys approaches a solution to this challenge that is available today.