home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / vhdl / 384 < prev    next >
Encoding:
Internet Message Format  |  1992-07-31  |  2.6 KB
  1. Path: sparky!uunet!gatech!rutgers!princeton!tan!jwithana
  2. From: jwithana@tan.cit (Janaka Withana, 402 Feinberg Hall, (609) 258-8811,)
  3. Newsgroups: comp.lang.vhdl
  4. Subject: Re: Resolved signals
  5. Message-ID: <1992Jul31.200730.14684@Princeton.EDU>
  6. Date: 31 Jul 92 20:07:30 GMT
  7. References: <1992Jul31.154737.1407@clsi.COM>
  8. Sender: news@Princeton.EDU (USENET News System)
  9. Reply-To: jwithana@tan.cit
  10. Organization: Princeton Univeristy
  11. Lines: 59
  12. Nntp-Posting-Host: tan.princeton.edu
  13.  
  14. In article 1407@clsi.COM, shankha@clsi.COM (Shankha Mitra) writes:
  15. > 
  16. > In article <48320002@hpscit.sc.hp.com>, doug@hpscit.sc.hp.com (Doug Sojourner) writes:
  17. > > In comp.lang.vhdl, jmessenger@cix.compulink.co.uk (John Messenger) writes:
  18. > > 
  19. > > > subtype RTYPE is RESOLVED INTEGER;
  20. > > > type ARR is ARRAY (0 to 1) of RTYPE;
  21. > > > signal S: ARR;
  22. > > 
  23. > > > is S    a resolved signal? 
  24. > > 
  25. > > Under the conditions above, S would be a resolved signal
  26. > > 
  27. > 
  28. > I disagree.  LRM 4.3.1.2 explicitly states:
  29. >    If the name of a resolution function appears in the declaration of a
  30. >    signal, or in the declaration of the subtype used to declare the
  31. >    signal, then that resolution function is associated with the declared
  32. >    signal.  Such a signal is called a resolved signal. 
  33. > 
  34. > Since ARR doesn't have a resolution function associated with it in its
  35. > declaration, S is NOT a resolved signal.
  36.  
  37. but the sub-elements RTYPE of ARR do have a resolution function! 
  38.  
  39. > 
  40. > You can declare S to be a resolved signal in two ways:
  41. >    signal S: resolution_function ARR;
  42. > or,
  43. >    subtype RESOLVED_ARR is resolution_function ARR;
  44. >    signal S: RESOLVED_ARR;
  45. > 
  46. > On the second method, the LRM 2.4 has the following to say:
  47. >    If a resolved signal is of a composite type, and subelements of that
  48. >    type also have associated resolution functions, such resolution
  49. >    functions have no effect on the process of determining the resolved
  50. >    value of the signal.
  51.  
  52. in this cases function resolution_function will "replace" the function RESOLVED that
  53. resolves the sub-elements of ARR! 
  54.  
  55. > 
  56. > So, it'll work okay.
  57. > 
  58. > Shankha
  59. > 
  60.  
  61. aw, c'mon. get real. it is pretty darn obvious that S is a resolved signal!
  62.  
  63. type ARR is an array of RTYPE. since RTYPE is resolved, ARR is therefore resolved.
  64. and S is resolved!
  65.  
  66. comments, anyone?
  67.  
  68. ---
  69.  -----------------------------------------------------------------------------
  70. | jwithana@phoenix.princeton.edu                 janaka@lucille.princeton.edu |
  71. | janaka@ee.princeton.edu      JWITHANA@PUCC.bitnet         bt283@po.cwru.edu |
  72.  -----------------------------------------------------------------------------
  73.