Subject: Co-Design Assertion Requirements
From: Tom Fitzpatrick (fitz@co-design.com)
Date: Tue Jul 30 2002 - 14:04:39 PDT
Hi All,
Here are our requirements:
- Sequential regular expressions referred to by name
- Ability to compose complex sequences out of simpler ones
- Ability to combine sequences into other sequences
i.e. seq1 && seq2, etc.
The question of exactly which operators is open.
- Parameterized sequences
- Ability to encapsulate multiple assertions procedurally
Ability to specify encapsulated assertions via formal arguments and
associate/instantiate these multiple times with different actual arguments
- Need to define a semantic subset that can be simulated on the fly.
------------------------------------------------------
Tom Fitzpatrick
Director of Technical Marketing
Co-Design Automation, Inc.
------------------------------------------------------
Email: fitz@co-design.com Mobile: (978)337-7641
Tel: (978)448-8797 Fax: (561)594-3946
Web: www.co-design.com
www.superlog.org
------------------------------------------------------
SUPERLOG = Faster, Smarter Verilog
------------------------------------------------------
This archive was generated by hypermail 2b28 : Tue Jul 30 2002 - 14:07:52 PDT