home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / vhdl / 380 < prev    next >
Encoding:
Internet Message Format  |  1992-07-28  |  1.0 KB
  1. Xref: sparky comp.lang.vhdl:380 comp.lang.verilog:285 comp.specification:331
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!ucbeh.san.uc.edu!uceng.uc.edu!babbage.ece.uc.edu!leo.ece.uc.edu!dsims
  3. Newsgroups: comp.lang.vhdl,comp.lang.verilog,comp.specification
  4. Subject: Specification languages for hardware description languages
  5. Message-ID: <1992Jul28.172354.2041@babbage.ece.uc.edu>
  6. From: dsims@leo.ece.uc.edu (D. Lyle Sims)
  7. Date: Tue, 28 Jul 1992 17:23:54 GMT
  8. Sender: root@babbage.ece.uc.edu (Operator)
  9. Organization: University of Cincinnati
  10. Nntp-Posting-Host: leo.ece.uc.edu
  11. Lines: 8
  12.  
  13. I'm curious what people use as specification languages for hardware
  14. description languages such as VHDL.  Gate level descriptions?  Anything
  15. else?  Anything with a formal syntax and semantics?
  16. -- 
  17. D. Lyle Sims                    Dept. of Electrical and Computer Engineering
  18. dsims@thor.ece.uc.edu           University of Cincinnati
  19. (513) 556-2499                  Cincinnati OH  45221-0030
  20.                                 USA
  21.