Welcome!

Trusster is a site for and by hardware verification engineers. We're here to help our field do efficient hardware verification through good Object Oriented Programing (OOP) practice. As all modern verification languages like C++, SystemVerilog and Vera have OOP aspects we believe this is important. And as OOP is something relatively new for most of us verification engineers we believe an open discussion is needed.

All the tools promoted on this site are available open source (with other license options available) with the belief that we as a verification community can build a better verification solution together and that verification frameworks shouldn't be proprietary or company secrets to begin with!

On these pages you can find information about: Hardware Verification with C++ Book Cover

Mentor Graphics New England User Group Meeting Presentation

Mike and I attended Mentor Graphics New England Users Group Meeting yesterday and mike did a small presentation about Teal and Truss. For reference these were the slides Mike presented. It's always interesting to give a presentation and I think we're getting better each time we try. This presentation I think better highlighted the thinking behind teal and truss while also giving a decent overview.

Regards,

/Robert

New Release of SystemVerilog Teal and Truss

Hi,

This release supports the AXIOM simulator!!! This is a great news for both Trusster and Axiom. We'll have more official news about this soon.

Also, this release of Teal and Truss fixes a few bugs namely:
- The truss_vout object was not shutting down cleanly.
- The truss_shutdown object did not handle null test/testbench/watchdog pointers gracefully.
- VCS changed their string passing scheme, so the truss script was updated.
- VCS added support for interfaces in packages, so the examples were changed.

Let us know at support <> trusster <> com if there are any issues.

Verification Framework article published over at SCD-source

While writing our two books, Mike and I frequently discussed not only the motivations for creating individual verification components but also how the should "look" for the end-user. Our discussion was always centered around usability for us verification engineers, so presenting a simple, clean code-interface was more important then simplifying the internals of Teal and Truss. (I'm not convinced all verification environment I've seen think that way...)

Mike and I was recently talking to Peggy Aycinena about Teal and Truss and it motivated Mike enough to put pen to paper (or is it key strokes to screen?) and write a couple of articles talking about why our code looks the way it does, one has now been published

Book excerpt on Teal and Truss available!

Hardware Verification with C++ Book Cover Hardware Verification with SystemVerilog Book CoverWe're happy announce that the teal and truss section of both our C++ and SystemVerilog books are on the downloads page!

Apart from providing a preview of our style, they also provide documentation for our open-source libraries.

So to get a feel for what our books are like and to find out more details about our verification libraries teal and truss, and what "the dance" is all about, simply download either the C++ or SystemVerilog sections from our downloads page.

You can also access the chapters for teal and truss for C++ by following this link, or if you are interested in SystemVerilog follow this link.

Problem with support@trusster.com account fixed

People,Due to a human mistake the support@trusster.com e-mail has not been working for, probably, the last several months. I just noticed the problem today and it's not fixed. So if you have tried to contact us using this e-mail please try again or better post a note onto our forums

/Robert
Powered by ScribeFire.

New Release of SystemVerilog teal and Truss

Hi,

We have just posted a new release of Teal and Truss (and the examples). There is not really any major changes in functionality, it's just this is the first release using the subversion system! Cool, eh? Feel free to browse the source code or download the new version.

Take Care,
mike

Cooley thinks where so cheesy that we're a must see at DAC!

This is pretty cool! John Cooley has picked us as #17 on his "must see" at DAC next week. This is what he has to say:

Almost anyone who's done verification knows about Synopsys' VMM, but this new Teal and Truss open source equivalent caught me off guard. It's by two guys: Mike Mintz and Robert Ekendahl who wrote a book about C++ verification and it blossomed from there into free libs for System Verilog and C++ that run in Questa and VCS, with NC-Sim and Aldec in the planning. Sun, Freescale, Cisco, and Avid are some of its users. The good people at Aldec (booth 5860) are letting Mike Mintz present there. Freebie: temporary tatoos

Object Oriented Programming for Hardware Verification Demystified


Note! Slides are attached to this post
So Mike did a web-presentation together with Igor from Aldec titled "Object Oriented Programming for Hardware Verification Demystified". It's an introduction to how OOP can be used for HW verification

SystemVerilog Book Done!

Today was a big day. We taped-out the book! Robert and I collated the quotes and the back cover text. At this point, the book's fate is in the hands of Springer. We already know of a few mistakes in the book, and I'm sure there will be a few more. But they are minor.

Syndicate content

Back to top