Subject: Links to documents
From: David Lacey (dlacey@rsn.hp.com)
Date: Thu Jul 11 2002 - 07:14:54 PDT
The main Assertion Web Site (has a history of the 3.0 assertion spec):
http://www.eda.org/assertion/hm/index.html
Assertion mail reflector archive:
http://www.eda.org/assertion/hm/index.html
Original requirements document for assertions 3.0:
http://www.eda.org/assertion/hm/0004.html
SystemVerilog 3.0 Specification (includes final assertion chapter):
http://www.accellera.org/3.0_LRM.pdf.
David
-- David J. Lacey Email: dlacey@rsn.hp.com Phone: 972-497-4114
This archive was generated by hypermail 2b28 : Thu Jul 11 2002 - 07:20:14 PDT