[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [ethmac] Ethernet status

To: ethmac@opencores.org
Subject: RE: [ethmac] Ethernet status
From: zjli@technologist.com
Date: Tue, 26 Feb 2002 21:40:43 +0100
Reply-To: ethmac@opencores.org
Sender: owner-ethmac@opencores.org

A recent book The Art of Verification with Vera 
(http://www.verificationcentral.com/) uses ethernet MAC as an example 
to teach verification. Its chapter 10 has some sample Vera code (see 
reviews at http://www.janick.bergeron.com/guild/3-01.html#Item_04). 

I am sure whether it is a good idea to use the Vera code in the book to 
verify this core. It clearly requires tools supporting Vera 
(http://www.synopsys.com/products/vera/vera.html) to do it. 
--
To unsubscribe from ethmac mailing list please visit http://www.opencores.org/mailinglists.shtml

Prev by Date: RE: [ethmac] Ethernet status
Next by Date: [ethmac] Mail from Yogesh
Prev by thread: RE: [ethmac] Ethernet status
Next by thread: RE: [ethmac] Ethernet status
Index(es):
- Date
- Thread