From: Peter Amey <pna@praxis-cs.co.uk>
Subject: Question about 'valid
Date: Tue, 20 Mar 2001 16:23:51 +0000
Date: 2001-03-20T16:23:51+00:00 [thread overview]
Message-ID: <3AB78417.236D1AFF@praxis-cs.co.uk> (raw)
Can I ask for the collected wisdom on the following please:
Given X : T;
If X'Valid is true and X is scalar is it always true that:
X in T;
X >= T'First;
X <= T'Last;
If the answer is yes then is it still true if T is an enumeration type
with a representation clause which leads to holes in its representation.
I am currently very interested in validating aribitrary bit patterns
that arrive via memory mapped ports and want to really understand the
role of 'valid in these cases.
TIA
Peter
--
---------------------------------------------------------------------------
__ Peter Amey, Product Manager
) Praxis Critical Systems Ltd
/ 20, Manvers Street, Bath, BA1 1PX
/ 0 Tel: +44 (0)1225 466991
(_/ Fax: +44 (0)1225 469006
http://www.praxis-cs.co.uk/
--------------------------------------------------------------------------
next reply other threads:[~2001-03-20 16:23 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-03-20 16:23 Peter Amey [this message]
2001-03-20 19:03 ` Question about 'valid Mark Lundquist
2001-03-20 19:44 ` David C. Hoos, Sr.
2001-03-29 23:56 ` Robert A Duff
2001-03-30 3:41 ` Ken Garlington
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox