home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / arch / 10432 < prev    next >
Encoding:
Text File  |  1992-11-06  |  2.6 KB  |  56 lines
  1. Newsgroups: comp.arch
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!decwrl!sdd.hp.com!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!ames!agate!pasteur!athos.Berkeley.EDU!luciano
  3. From: luciano@athos.Berkeley.EDU (Luciano Lavagno)
  4. Subject: Re: asynchronous DSP project at Berkeley
  5. Message-ID: <1992Nov6.012805.27230@pasteur.Berkeley.EDU>
  6. Sender: nntp@pasteur.Berkeley.EDU (NNTP Poster)
  7. Nntp-Posting-Host: athos.berkeley.edu
  8. Reply-To: luciano@athos.Berkeley.EDU (Luciano Lavagno)
  9. Organization: UC Berkeley IC CAD Group
  10. References: <1992Oct27.115210.14352@news.cs.indiana.edu> <LINDER.92Nov5175441@desperado.ERC.MsState.Edu>
  11. Distribution: na
  12. Date: Fri, 6 Nov 1992 01:28:05 GMT
  13. Lines: 41
  14.  
  15. In article <LINDER.92Nov5175441@desperado.ERC.MsState.Edu>,
  16. linder@ERC.MsState.Edu (Dan Linder) writes:
  17. [...]
  18. >Brodersen is well known in the DSP area so this probably influenced their
  19. >decision.  It is interesting to note that the DSP processor uses
  20. >microprogramming and Martin's processor only has a few instructions.  I
  21. >suspect as well that the complexity of a modern RISC control unit is beyond
  22. >current asynchronous techniques.  Are there any asynchronous methods that
  23. >can efficiently combine the generation of a multitude of control signals
  24. >while also making the complex logical decisions associated with big state
  25. >machines?
  26.  
  27. You may look into some of the new approaches to asynchronous circuit synthesis,
  28. for example:
  29. 1) methods based on burst-mode finite state machines (i.e. FSM's with a couple
  30. of restrictions on the valid transitions to avoid possible synchronization
  31. problems):
  32. S. Nowick et al, "Automatic Synthesis of Locally-Clocked Asynchronous State
  33. Machines", ICCAD 91
  34. T.A. Chu, "Synthesis of Hazard-free Control Circuits from Asynchronous Finite
  35. State Machine Specifications", TAU 92
  36.  
  37. 2) methods based on Signal Transition Graphs (i.e. a formalization of timing
  38. diagrams):
  39. L. Lavagno et al, "Algorithms for Synthesis of Hazard-free Asynchronous
  40. Circuits", DAC 91
  41. C. W. Moon et al, ""Synthesis of Hazard-free Asynchronous Circuits from
  42. Graphical Specifications", ICCAD 91
  43. P. A. Beerel et al, "Gate-Level Synthesis of Speed-Independent Asynchronous
  44. Control Circuits", TAU 92
  45.  
  46. By the way, burst-mode FSM's can be converted into STG's, so the methods in
  47. group 2 can directly deal with a network of FSM's as well.
  48.  
  49. Please, let me know if you need more information on any of the above methods
  50. (they have all been implemented as CAD programs, as far as I know).
  51.  
  52. Luciano
  53. -- 
  54. Luciano Lavagno            luciano@ic.Berkeley.EDU            +1-510-642-5012
  55. Dept. of EECS, 207-69 Cory Hall, Univ. of California, Berkeley, CA 94720, USA
  56.