Velocity Reviews - Computer Hardware Reviews

Velocity Reviews > Newsgroups > Programming > VHDL > PSL stmt embedded in VHDL: good tutorials somewhere?

Reply
Thread Tools

PSL stmt embedded in VHDL: good tutorials somewhere?

 
 
Eric DELAGE
Guest
Posts: n/a
 
      04-05-2005
Hi,

Does someone know some good tutorials on the various PSL statements
which can be embedded in VHDL? The PSL specification gives me a lot of
frustration

Eric
 
Reply With Quote
 
 
 
 
Jonathan Bromley
Guest
Posts: n/a
 
      04-05-2005
On Tue, 05 Apr 2005 18:04:30 +0200, Eric DELAGE <"eric
UNDERSCORE delage AT yahoo DOT fr"> wrote:

>Does someone know some good tutorials on the various PSL statements
>which can be embedded in VHDL? The PSL specification gives me a lot of
>frustration


There are several books (e.g. Ben Cohen's), and there's our
Golden Reference Guide which includes some tutorial material
and is more digestible than the spec:
(apologies for the long URL, and I hope I'll be forgiven for the
advertisement):

http://www.doulos.com/content/produc...nce_guides.php

--
Jonathan Bromley, Consultant

DOULOS - Developing Design Know-how
VHDL, Verilog, SystemC, Perl, Tcl/Tk, Verification, Project Services

Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, BH24 1AW, UK
Tel: +44 (0)1425 471223 mail:(E-Mail Removed)
Fax: +44 (0)1425 471573 Web: http://www.doulos.com

The contents of this message may contain personal views which
are not the views of Doulos Ltd., unless specifically stated.
 
Reply With Quote
 
 
 
 
Neo
Guest
Posts: n/a
 
      04-06-2005
actually the PSL lrm 1.1 is not so cryptic as compared to other ieee
std's. you can also post your psl problems and browse other related
posts at http://www.verificationguild.com

 
Reply With Quote
 
 
 
Reply

Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are Off


Similar Threads
Thread Thread Starter Forum Replies Last Post
PSL stmts embedded in VHDL: how to do functional coverage w/it? Eric DELAGE VHDL 1 04-05-2005 04:29 PM
AAA vs. pw on line stmt Cisco 1 02-28-2004 10:21 AM
AAA vs. pw on line stmt Cisco 0 02-27-2004 07:53 PM
PSL: New 2nd Edition book: Using PSL for formal and dynamic verification ben cohen VHDL 0 01-27-2004 01:09 AM
How to pass special characters in Update stmt!! Jay ASP .Net 3 10-31-2003 12:30 AM



Advertisments