AUSTIN, Texas--(BUSINESS WIRE)--Breker Verification Systems, a private supplier of EDA software for functional verification, announced that NVIDIA Corporation (NVDA), the world leader in visual computing technologies, has selected Trek for use in verification of future leading edge designs. Trek provides a streamlined solution for automatically generating targeted tests that verify correct functionality.
The key reasons for choosing Trek were simple: increased efficiency and coverage through verification intent defined by the Trek model. With easy to understand constructs and implementation, these graphs provide powerful generation capabilities that increase coverage of the design intent.
“NVIDIA designs some of the world’s largest and most complex processors, so efficient verification methodologies are essential to meet our time to market goals,” said David Whipp, Verification Architect for NVIDIA. “We were able to integrate Trek into our existing flows and increase productivity using graphs to write and debug tests even before we started coding RTL.”
“Having an industry leader like NVIDIA select Trek,” said Adnan Hamid, CEO of Breker Verification, “is a clear signal to the verification community: Trek is the intelligent testbench solution that should be examined.”
Breker Verification Systems is an EDA company offering a graph based intelligent test-bench solution for functional verification. Verification intent is described using a combination of an object oriented temporal graph and an aspect-oriented path constraint solver to construct a simple yet concise coverage model for even the most complex designs. The coverage model is used as input to automatically generate functional test stimulus, results checks and scenario coverage analysis. Analytical capabilities include interactive visual rendering of pre-simulation reachability analysis and post simulation coverage analysis. Automating the generation of stimulus, results checks and coverage analysis can reduce test-bench development time by a factor of 10x, while increased coverage efficiency can reduce required simulation capacity by a factor of 6-8x.
Privately held, Breker was founded in 2003 in Austin, TX. Its corporate headquarters is at 8217 Edgemoor Place, Austin, Texas 78749. Telephone: 512-415-1199. On the Web at www.brekersystems.com.