home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / vhdl / 626 < prev    next >
Encoding:
Text File  |  1993-01-06  |  5.0 KB  |  126 lines

  1. Newsgroups: comp.lang.vhdl
  2. Path: sparky!uunet!mcsun!sun4nl!relay.philips.nl!cc03!ragon
  3. From: ragon@seri.philips.nl (Pierre Ragon Cao/int 7317)
  4. Subject: Re: type conversion and configuration
  5. Message-ID: <1993Jan6.072414.22817@phcomgw.seri.philips.nl>
  6. Originator: news@phcoms.seri.philips.nl
  7. Sender: news@phcomgw.seri.philips.nl
  8. Organization: SERI-CEN Network Services, Philips C&P, Eindhoven, The Netherlands
  9. X-Newsreader: Tin 1.1 PL5
  10. References: <1992Dec30.130712.5464@phcomgw.seri.philips.nl>
  11. Date: Wed, 6 Jan 1993 07:24:14 GMT
  12. Lines: 112
  13.  
  14. Since this topic has raised up interest i include all answers i
  15. received.
  16.  
  17. As you will notice there are various interpretations of the LRM.
  18.  
  19. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
  20. From: bgriffin@wv.MENTORG.COM (Brian Griffin)
  21. ------------------------------------------------------
  22.  
  23. There is an ambiguity here but it is not with the index expression it self (as
  24. the error message would seem to imply) but rather with the function call within
  25. the whole expression.  There are two possible to_x01 functions that would work
  26. here.
  27.  
  28.     FUNCTION To_X01  ( b : BIT_VECTOR        ) RETURN  std_logic_vector;
  29.     FUNCTION To_X01  ( b : BIT_VECTOR        ) RETURN  std_ulogic_vector;
  30.  
  31. The compiler does not have enough information to determine which function to
  32. call.  Our compiler complains that:
  33.  
  34. // [Line:    6] Error: Ambiguous expression. Unable to resolve overloading.
  35. //     One conflicting operation is:
  36. //         Type is std_ulogic.
  37. //     The second conflicting operation is:
  38. //         Type is std_ulogic.
  39. //     (from: Analysis/System-1076_semantic 0138)
  40.  
  41. // [Line:    8] Error: Ambiguous expression. Unable to resolve overloading.
  42. //     One conflicting operation is:
  43. //         Type is std_ulogic.
  44. //     The second conflicting operation is:
  45. //         Type is std_ulogic.
  46. //     (from: Analysis/System-1076_semantic 0138)
  47.  
  48.  
  49. Granted these error messages are no more clear then what you got with the other
  50. analyzer, but the clue here is "overloading".  Overloading is only done with
  51. subprograms and type literals.  Both of these functions return the same base
  52. type but different subtypes.  The expression requires this base type but does
  53. not disambiguate the SUBtype.  
  54.  
  55. I hope this helps.
  56.  
  57. >-EXAMPLE 2
  58. >**********
  59.  
  60. I don't have an answer to your second question.  Sorry.
  61.  
  62.  
  63. USE STD.DISCLAIMER.ALL;
  64. --                                           __
  65. -- bgriffin@mentorg.com                     /__)      . __
  66. -- brian_griffin@mentorg.com               /___)_/-,_/_(_(_/V/_
  67. --                                        /
  68.  
  69. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
  70.  
  71. FROM : VANTAGE
  72.  
  73. -------------------------------------ooOoo-------------------------------------
  74.                                 Vantage(Europe)
  75.  
  76.     Grove Court Business Centre            phone            +44 753 516464
  77.     Hatfield Road,                         answer machine   +44 753 572450 
  78.     Slough,                                fax              +44 753 571639
  79.     Berkshire, SL1 1QU                     e-mail           johnw@vntguk
  80.     UK                                     customer support support@vntguk
  81.  
  82.                                ------ooOoo------
  83. 100% IEEE-1076 VHDL  Source Code Debugger  Concurrent Compiler  Network License 
  84. Integrated VHDL Schematics/Simulator  Read & Write Mentor/Valid/EDIF Schematics 
  85. Logic Automation & ASIC libraries   Hardware Modeller   Gate Level Acceleration
  86. -------------------------------------ooOoo-------------------------------------
  87.  
  88.  
  89. Dear Pierre,
  90.  
  91.      I saw your email on comp.lang.vhdl about the dependencies  created  by
  92. reanalyzing an architecture within a design hierarchy.
  93.  
  94.      I believe your understanding is correct except that the  configuration
  95. 'conf68302_0' *IS* potentially affected by the change to the architecture.
  96.  
  97.      In your example, you have part  of  the  component  binding  specified
  98. within the architecture, and part within the configuration.  There are many
  99. rules controlling the actions for binding (i.e.  checking  that  components
  100. are  bound  uniquely).  In  this  case,  the  configuration  is potentially
  101. affected by the change to  the  architecture  because  conflicting  binding
  102. indications  may  have been added to the architecture that would affect the
  103. configuration.
  104.  
  105.      Therefore, if the architecture is reanalyzed, the configuration has to
  106. be looked at again.
  107.  
  108.      As an experiment, before you analyze the architecture, add the follow-
  109. ing line to the architecture declarative part :-
  110.  
  111.                   FOR c2 : framegen USE ENTITY WORK.framegen(cpu68302);
  112.  
  113. After reanalyzing the architecture, you will now find that  the  configura-
  114. tion  cannot be successfully analyzed because of non-unique binding indica-
  115. tions. This is an example of  a  change  to  the  architecture  potentially
  116. affecting the configuration - hence the requirements for reanalysis.
  117.  
  118.      I would be interested to hear if there are different  points  of  view
  119. from other VHDL users.  Perhaps you could post this onto comp.lang.vhdl for
  120. other people to comment on.
  121.  
  122.      Best Regards ( and Happy New Year!)
  123.  
  124.                                   John Wilson
  125.  
  126.