( ESNUG 469 Item 4 ) -------------------------------------------- [09/27/07]
Subject: Breker Treker and their weird new "graph based verification" tool
> Breker Treker -- Some weird "graph based verification" tool that Gary
> really loved. I sort of understood it. Sort of.
>
> - from http://www.deepchip.com/wiretap/070815.html
From: Rick Nordin <rick.nordin=user domain=brekersystems hot mom>
Hi John,
Your Breker video at DAC'07 was great! I appreciate the way you focused
the discussion on a specific example by relating a calculator to the
verification intent that insures correct functionality. I couldn't have
done better myself.
I do have two issues, however, that I want to share in order to provide
clarification and feedback. The first is that the product name is Trek,
rather than Treker as referenced in the video. While this closely aligns
with the company's name, Breker, I'd like to reserve such naming anomalies
for poets and song writers rather than silicon-proven EDA products.
I also want to provide feedback on the comment that Breker uses "some weird
graph-based verification" process. Graphs have been used to describe large
data-intensive processes and information spaces in EDA for years. Companies
including Synopsys, Cadence, Magma and many others use graphs to describe
netlists, timing information and many other applications that have too much
data for hash tables or other database orientated processes. Having the
ability to traverse, manipulate and control these huge information spaces,
including the verification space, is critical to the speed and accuracy
needed for EDA tools; therefore using "some weird" as an adjective-based
prefix to describe Trek is not appropriate in this instance.
Perhaps a phrase such as "A new innovative functional verification process
that utilizes a graph-based process" would be a more appropriate way to
characterize our technology.
Thanks, John, and I hope to talk with you further about these comments at
your earliest convenience.
- Rick Nordin
Breker Systems, Inc. Austin, TX
Index
Next->Item
|
|
