My colleague Doug Smith has just returned triumphant from SNUG in Boston and Ottawa, where he won second prize for presenting a paper co-authored by himself and David Long, whimsically entitled "Stick a fork in it: Applications for SystemVerilog Dynamic Processes"

This paper contains lots of examples showing the creative application of the SystemVerilog fork-join construct for verification and behavioral modeling. You can download the paper from the Knowhow section of this website by clicking here.

It is two years since we published an open-source protocol checker for the SystemC TLM-2.0 Base Protocol on this website. Whenever this checker finds an error, it prints out a reference to the corresponding paragraph in the TLM-2.0 documentation. We have now updated this checker to refer to paragraph numbers in the final OSCI TLM-2.0 Language Reference Manual.

When people are first introduced to the TLM-2.0 standard, they often wonder how practically they can ensure that their own models are actually compliant with the many rules of the base protocol. A dynamic protocol checker such as the one we provide here is part of the solution. Of course, it cannot check that your intent has been properly implemented, but it can automatically check that many of the rules of the base protocol have been adhered to.

You can learn about the details of the protocol checker and download the latest version right here

Welcome to the Doulos Blog! This blog is written by the technical staff employed by or associated with Doulos. It will mostly be about the technical subjects we care about at Doulos, namely:

• Hardware design, VHDL, Verilog, FPGA
• Hardware verification, SystemVerilog, UVM
• ESL, SystemC
• Embedded software, ARM

Read this blog to get our take on what is happening in each of these areas. We will also give pointers to interesting new material published in other areas of www.doulos.com