2008-12-02

Teal, Truss, and NCsim: Resolved all the Random Crash Issuess

Finally, I've resolved yet another random crash issues for teal, truss, and ncsim. Now it has passed more than 100,000 verification loops without crashing. Thanks to Mike and Robert, who chose to open source teal and truss. As a result, I got a great chance to dig into the source code and learned the internal mechanism for a verification framework.

Today, I felt lucky to find another person at another corner of the world, who also chose teal and made customizations on it. Here's his post at Verification Guild:

"I am using teal right now. We picked it up about a year ago, and have done fairly extensive customization to it. I cannot, however, recommend the version we originally downloaded, it had some bugs, and I have not downloaded a newer version since then, so I can't say anything about the bug fixes. I have to say, that as far as the concepts and functionality of teal go, it is exactly what it should be. I couldn't imagine an easier and cleaner way to connect verilog to C++. I would suggest starting with it, and seeing how far it takes you. It is also free. -- Richard"