|
Message
From: zjli@t...
Date: Tue, 26 Feb 2002 21:40:43 +0100
Subject: RE: [ethmac] Ethernet status
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.shtml#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.shtml) to do it.
|
Browse
