Meeting 08-02-2004

Attendance
Chuck Swart
Eric Marschner
Jim Lewis
Charlie Guy
John Ries

Eric presented the LCS changes for putting PSL in VHDL.

Version 1.1 of PSL has been approved and transfered to the IEEE.

LCS has several layer that Eric will take us through.

Goals

Guidelines

Use models
  Not all things make sense for simulation like assume and restrict directives.

  Severity clause in not in the PSL directives but may be in future release.
  Maybe we should allow severity clauses in VHDL for PSL assertions.  This isn't
  in the proposal but could be.

Level of integration

  Can you put PSL declarations in a package?  The proposal doesn't because Eric
  believes that this is the function of vunits. Never mind, approach does allows 
  it.

  If we have a default clock from PSL do we want to use this any place else in
  VHDL. An example would be using the default clock for a "clocked" assignment
  statement.

Approach number 10

  Endpoints have a order of evaluation that must occur. Proposal for endpoints
  is just boolean value not a boolean signal. I.E. you can not wait on an
  endpoint. We might want to allow them to be signals so they can appear in
  sensitivity lists.

  Number 11, user attributes don't have a lot of value but predefined attributes
  like count on coverage directive maybe useful. This currently is not in the
  LCS but could be added easily.

  How do vunits get used? The first cut is to have any vunits present brought in
  automatically. Later versions maybe configurations should allow specifying of
  vunit.

  Long discussion on how vunit are associated with entity and architectures.
  Currently a vunit can only be used with a single entity or architecture.  This
  may change. Conclusion configuration need more work in the long term, but what
  is currently here appears to be adequate.

  Since vunits create a block in an architecture there is the potential conflict
  with declarations within the architecture/entity.

Eric gave quick overview of LRM changes.

Next week we will do a question answer over LCS.

How do we get it done?

If people have issues please send mail to comments to Eric.