Open Verification Foundation
 Links to interesting articles on systemC and other HVL verification ideas.

t

Links:
Link Description
Its NOT all about performance Are we spending too much time focusing on cycle-per-second performance and not enough time ensuring we have best in class verification environments.
Your Verification Manager can cause harm than good. Its not his fault, its an organizational issue. Your verification manager position may be eating into your profits.  A message for Engineering Directors recently published in a major Engineering publication
Why is SystemC the Right Choice for Verification Recent breakthroughs make open source tools (SystemC) the right decision.  See my article published in a major engineering publication regarding my Broadcom experience.
There is a way to use 5X fewer HVL licences What Cadence and Synopsys do NOT want you to hear. Taken from the the Verification Guild email forum.  There is no need for a 1 to 1 HVL to RTL simulator license relationship.
pros and cons Well said article, i.e. forget synthesis: from John Cooley's ESNUG post 414:
SystemC gaining ground Another Pro- SystemC article, J. Cooley, June 23. 2003
Pro SystemC DVCON report Here is an interesting opinion from a DVCON 2003 Trip report taken from ESNUG 413: Read John Cooley's DVCON 2004 report  Exerpt: "Verisity Design Inc - HVL touting their ability to work with any/all simulators (even SystemC). Wants to appear opensource, but in reality is proprietary."  .
SystemC Modeling Fundamentals A freely distributed white paper describing the Basics of SystemC (pdf).
SystemC functional spec (pdf) Additional SystemC Documentation
SystemC users guide (pdf) Additional SystemC Documentation
Using transaction-based verification in SystemC (pdf) Additional SystemC Documentation
Verification_Audit.pdf This paper won the "Best Paper" award at this years DVCon in February.  Notice the "references" on the last page. --Shameless self promotion :).
scv_randomization.pdf Great paper showing how to achieve Specman-like functionality in SystemC