home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lsi / 692 < prev    next >
Encoding:
Text File  |  1992-11-11  |  1.9 KB  |  58 lines

  1. Newsgroups: comp.lsi
  2. Path: sparky!uunet!spool.mu.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!rpi!psinntp!psinntp!newstand.syr.edu!cat.syr.edu!yegna
  3. From: yegna@cat.syr.edu (Yegnashankar Parasuram)
  4. Subject: Re: Subset of VHDL for synthesis.
  5. Message-ID: <1992Nov11.210845.4234@newstand.syr.edu>
  6. Organization: CASE Center, Syracuse University
  7. References: <3201@ucl-cs.uucp>
  8. Date: Wed, 11 Nov 92 21:08:45 EST
  9. Lines: 47
  10.  
  11. In article <3201@ucl-cs.uucp>, M.Nigri@cs.ucl.ac.uk (Meyer E. Nigri) writes:
  12. |> 
  13. |> Dear all,
  14. |> 
  15. |> I would like to know the present state regarding a formal definition
  16. |> for a subset of VHDL aiming at synthesis.
  17. |> 
  18. |> I believe there is a group (VHDL Synthesis Working Group in Europe???) that
  19. |> is trying to specify this subset.
  20. |> 
  21. |> Does anybody know how I can get info on this subject?
  22. |> 
  23. |> Thanks a lot,
  24. |> 
  25. |> Meyer.
  26. |> 
  27. |> PS: I will summarise to the group the responses I get on this
  28.  
  29. Hi,
  30.  
  31. You might want to take a look at the following :
  32.  
  33. VHDL for Simulation, Synthesis and Formal Proofs of Hardware, edited by Jean
  34. Mermet (Kluwer Academic Publishers).  This is a collection of papers, some of
  35. which might be of interest to you.
  36.  
  37. Towards the Correct Synthesis of VHDL Specifications, PhD dissertation of 
  38. Xinning Wang, ECE department Syracuse University.
  39.  
  40. -Yegna.
  41.  
  42. #########################################################################
  43.  
  44. The contents of this article are the author's own views - they do not 
  45. represent the view of any organisation such as the CASE centre or 
  46. Syracuse University.
  47.  
  48. #########################################################################
  49. # Yegnashankar Parasuram.                        #
  50. # Graduate Student at CE Department of Syracuse University.        #
  51. # Office  : 2-128, Centre for Science & Technology.            #
  52. # email   : yegna@cat.syr.edu.                        #
  53. #########################################################################
  54.  
  55. "THERE IS NOTHING THAT CANNOT BE DONE, UNLESS YOU THINK IT CAN'T BE DONE"
  56.  
  57.  
  58.