Computer aided design for microcomputer systems

  • Douglas Lewin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 126)


Digital System Fault Simulation Input Place Microcomputer System Boolean Equation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    P.L. Flake, G. Musgrave and I.J. White A Digital Systems Simulator — HILO Digital Processes I 1975 p39–53Google Scholar
  2. 2.
    A. Richard Newton The Simulation of Large-Scale Integrated Circuits Electronic Research Lab. University of California Berkeley Mem. No UCB/ERL M78/52 July 1978Google Scholar
  3. 3.
    R.E. Fairley Tutorial: Static Analysis and Dynamic Testing of Computer Software IEEE Computer II No 4 1978 p 14–23Google Scholar
  4. 4.
    Carver Mead and Lyn Conway Introduction to VLSI Systems Addison-Wesley Mass. 1980Google Scholar
  5. 5.
    P. Henderson Functional Programming — Application and Implementation Prentice-Hall Englewood Cliffs New Jersey 1980Google Scholar
  6. 6.
    J. Holloway et. al. The SCHEME-79 Chip AI Memo 559 MIT AI Laboratory Jan 1980Google Scholar
  7. 7.
    T.W. Williams and K.P. Parker Testing Logic Networks and Designing for Testability IEEE Computer 12 No 10 1979 p 9–21Google Scholar
  8. 8.
    E.B. Eichelberger and T.W. Williams A Logic Design Structure for LSI Testability Journal of Design Automation and Fault Tolerant Computing 2 No 2 1978 p 165–178Google Scholar
  9. 9.
    Special Issue Fault-Tolerant Computing IEEE Computer 13 No 3 1980Google Scholar
  10. 10.
    A.V. Aho, J.E. Hopcroft and J.D. Ullman The Design and Analysis of Computer Algorithms Addison-Wesley Mass. 1974Google Scholar
  11. 11.
    R.E. Tarjan Complexity of Combinational Algorithms SIAM Review 20 No 3 1978 p 457–491CrossRefGoogle Scholar
  12. 12.
    S.A. Browning Computations on a Tree of Processors Proc. Caltech Conf on VLSI Jan. 1979 p 453–478Google Scholar
  13. 13.
    B. Raphael The Thinking Computer W.H. Freeman and Co. San Francisco 1976Google Scholar
  14. 14.
    J.C. Latombe (ed) Artificial Intelligence and Pattern Recognition in CAD North Holland Pub. Co. Amsterdam 1978Google Scholar
  15. 15.
    D.I. Parnas On the Criteria to be used in Decomposing Systems into Modules Comms. ACM 15 No 12 Dec. 1972 1053–1058CrossRefGoogle Scholar
  16. 16.
    Hardware Description Languages (Special Issue) IEEE Computer 7 No 12 1974Google Scholar
  17. 17.
    M.R. Barbacci A Comparison of Register Transfer Languages for Describing Computers and Digital Systems IEEE Trans. Computers C24 p 137–150 1975Google Scholar
  18. 18.
    Y. Chu An ALGOL-Like Computer Design Language Comm. ACM 8 p 605–615 1965CrossRefGoogle Scholar
  19. 19.
    M.R. Barbacci Instruction Set Processor Specifications for Simulation, Evaluation and Synthesis Proc. 16th Int. Design Automation Conf. San Diego 1979 p 64–72Google Scholar
  20. 20.
    M.R. Barbacci and A. Parker Using Emulation to Verify Formal Architecture Descriptions IEEE Computer 11 No 5 1978 p 51–56Google Scholar
  21. 21.
    C.G. Bell and A. Newell The PMS and ISP Descriptive System for Computer Structures AFIPS SJCC 36 1970 p 351–374Google Scholar
  22. 22.
    M.R. Barbacci The ISPS Compiler and Simulator — Users Manual Computer Science Dept. Tech Rept. Carnegie Melon University August 1976Google Scholar
  23. 23.
    J.R. Duley and D.L. Dietmeyer A Digital System Design Language (DDL) IEEE Trans Computers C17 p 850–861 1968Google Scholar
  24. 24.
    J.R. Duley and D.L. Dietmeyer Translation of a DDL digital system specification to Boolean equations IEEE Trans Computers C18 p 305–313 1969Google Scholar
  25. 25.
    R.L. Arndt DDLSIM — A Digital Design Language Simulator Proc. Nat Electronics Corp. 26 December 1970 p 116–118Google Scholar
  26. 26.
    N.E. Cory, J.R. Duley and W.M. Van Cleemput An Introduction to the DDL-P Language Stanford University Computer System Lab. Tech Report 163 March 1979Google Scholar
  27. 27.
    M.B. Baray and S.Y.H. Su A Digital System Modelling Philosophy and Design Language Proc. 8th Annual Design Automation Workshop Atlantic City June 1971 p 1–22Google Scholar
  28. 28.
    M.B. Baray and S.Y.H. Su LALSD — a language for Automated Logic and System Design Proc. Int. Symp. CHDL 1975 p 30–31Google Scholar
  29. 29.
    M.B. Baray, S.Y.H. Su and R.L. Carberry The Structure and Operation of a System Modelling Language Compatible Simulator Proc. 8th Annual Design Automation Workshop 1971 p 23–34Google Scholar
  30. 30.
    S.Y.H. Su and G. Chinn Expanded Logic Level Simulator Proc. Summer Simulation Conf. San Diego 1971 p 163–180Google Scholar
  31. 31.
    D. Hill and W.M. Van Cleemput SABLE: A tool for generating structural multilevel simulations Proc. 16th Design Automation Conf. San Diego 1979 p 272–279Google Scholar
  32. 32.
    G.G. Bell and A. Newell Computer Structures: Readings and Examples McGraw Hill 1971Google Scholar
  33. 33.
    M. Knudsen PMSL — An Interactive Language for High Level Description and Analysis of Computer Systems. Tech Report Computer Science Department Carnegie Melon University 1972Google Scholar
  34. 34.
    P.O. Stigall and O. Tasar A Review of Directed Graphs as Applied to Computers IEEE Computer 7 No 10 1974 p 39–47Google Scholar
  35. 35.
    J.L. Peterson Petri Nets ACM Computing Surveys 9 No 3 1977 p 223–252CrossRefGoogle Scholar
  36. 36.
    T. Agerwala Putting Petri Nets to Work IEEE Computer 12 No 12 1979 p 85–94Google Scholar
  37. 37.
    S.S. Patil on Structured Digital Systems Proc. Int. Symp. on CHDL's and their Applications New York 1975 p 1–6Google Scholar
  38. 38.
    R.M. Karp and R.E. Miller Properties of a model for Parallel Computation: Determinacy, Termination, Queueing J. Appl. Math. 14 1966 p 1300–1411Google Scholar
  39. 39.
    K. Lautenbach and H.A. Schmid Use of Petri Nets for proving correctness of Concurrent Process Systems Proc. IFIP Congress 74 1974 p 184–191Google Scholar
  40. 40.
    C.N. Rose LOGOS and the Software Engineer AFIPS FJCC 41 1972 p 311–323Google Scholar
  41. 41.
    C.W. Rose and M. Albarran Modelling and Design Description of Hierarchial Hardware/Software Systems Proc. 12th Design Automation Conf. Boston 1975 p 421–430.Google Scholar
  42. 42.
    G. Estrin A Methodology for the Design of Digital Systems — Supported by SARA at the age of one AFIPS Conf. Proc. 47 1978 p 313–324Google Scholar
  43. 43.
    C.R. Clare Designing Logic Systems using State Machines McGraw Hill New York 1973Google Scholar
  44. 44.
    C. Mead and L. Conway Introduction to VLSI Systems Addison-Wesley Mass 1980Google Scholar
  45. 45.
    H.H. MacDougall Computer Systems Simulation: An introduction Computer Surveys 2 191–210 1970CrossRefGoogle Scholar
  46. 46.
    Digital Systems Simulation — special issue Computer 8 number 3 1975Google Scholar
  47. 47.
    R. Efron and G. Gordon General purpose digital simulation and examples of its application IBM Systems J 3 22–34 1964Google Scholar
  48. 48.
    F.P. Wyman Simulation Modelling: A guide to using SIMSCRIPT John Wiley 1970Google Scholar
  49. 49.
    P.L. Flake, G. Musgrave and I.J. White A Digital System Simulator — HILO Digital Processes 1 39–53 1975Google Scholar
  50. 50.
    K.A. Duke, H.D. Schnurman and T.I. Wilson System Validation by Three Level Modelling Synthesis IBM. J. Res. Dev. 15 166–174 1971Google Scholar
  51. 51.
    B. Eichelberger Hazard Detection in Combinational and Sequential Switching Circuits IBM J. Res. Dev. 9 90–99 1965Google Scholar
  52. 52.
    S.A. Szygenda and E.W. Thompson Fault injection techniques and models for logical simulation AFIPS FJCC 41 875–884 1972Google Scholar
  53. 53.
    S.A. Szygenda and E.W. Thompson Digital Logic Simulation in a Time Based Table Driven Environment pt. 2 Parallel Fault Simulation Computer 8 No 3 p 38–49 1975Google Scholar
  54. 54.
    S.A. Szygenda TEGAS2 — Anatomy of a General Purpose Test Generation and Simulation System for Digital Logic Proc. 9th ACM IEEE Design Automation Workshop June 1972Google Scholar
  55. 55.
    H.Y. Chang and S.G. Chappell Deductive Techniques for Simulating Logic Circuits Computer 8 No 3 p 52–59 1975Google Scholar
  56. 56.
    T.E. Bell Objectives and Problems in Simulating Computers AFIPS FJCC 41 287–297 1972Google Scholar
  57. 57.
    A. Alan, B. Pritsker and R. Young Simulation with GASP-PLI John Wiley 1975Google Scholar
  58. 58.
    M.S. Jayakumar and T.M. McCalla Simulation of Microprocessor Emulation using GASP-PLI Computer 10 No 4 p 20–26 1977Google Scholar
  59. 59.
    W.M. Van Cleemput Computer Aided Design of Digital Systems — A Bibliography Vols. I, II, III Computer Science Press California 1978Google Scholar
  60. 60.
    D. Lewin, E. Purslow and R.G. Bennetts Computer Assisted Logic Design — The CALD System IEE Conf. on CAD Pub No 86 p 343–51 1972Google Scholar
  61. 61.
    S.J. Hong, R.G. Cain, and D.L. Ostapko MINI — A Heuristic approach for Logic Minimisation IBM J. Res. Dev. 18 p 443–458 1974Google Scholar
  62. 62.
    T. Kobylorz and A. Al-Najjar An Examination of the Cost Function for PLA's IEEE Trans Computers 28 p 586–590 1979Google Scholar
  63. 63.
    R. Ayres Silicon Compilation — A Hierarchial Use of PLA's CALTECH Conf. on VLSI Jan 1979 p 311–326Google Scholar
  64. 64.
    S.H. Caldwell Switching Circuits and Logical Design Wiley New York 1958Google Scholar
  65. 65.
    M.J. Foster and H.T. Kung Design of Special Purpose VLSI chips IEEE Computer 13 No 1 p 26–40 1980Google Scholar
  66. 66.
    Fault Tolerant Computing — special issue IEEE Computers 13 No 3 1980Google Scholar
  67. 67.
    J.D. Williams Sticks — A New Approach to LSI Design MSEE Thesis Dept. of Electrical Engineering and Computer Science MIT 1977Google Scholar
  68. 68.
    C.L. Seitz Self Timed VLSI Systems Proc. CALTECH Conf VLSI p 345–354 1979Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Douglas Lewin
    • 1
  1. 1.Department of electrical engineering and electronicsBrunel UniversityUxbridge

Personalised recommendations