Abstract
This paper presents a design technique for computational systems based on the concepts of Model, Abstraction, and Simulation. This technique, developed and evaluated especially in Real Time System applications, is particularly useful to design hierarchical multiprocessor microprogrammed systems. A set of tools and facilities for designing and building the system is also shown.
- 1 F. PEROTTI-A.DELLA VENTURA-G.R.SECHI- G.VILLA-G.DI COCCO-R.E.BAKER-R.C. BUTTLER-b.Y.DEAN-S.J.MARTIN-D.RAMSDEN: "Low Energy Gamma-Ray Spectrum of NGC4151", Nature Vol.282 N.5738 pp.484-486Google Scholar
- 2 P.GUAZZONI-G.R.SECHI-L.ZETTA:"Computer Simulation of Ion Discrimination in Mass and Charge", Nuclear Instruments and Methods Vol.227, N.3 pp.526-Google Scholar
- 3 M.ANNUNZIATA-L.LISCA-W.NESCI-R.SAVIONI -G.R.SECHI:"A Microprogrammed Diagnostic Image Processor", in Microcomputers, Usage and Design, EUROMICRO 85, North Holland, pp.21-29Google Scholar
- 4 M.ANNUNZIATA-G.CIMA-P.MANTICA-G.R. SECHI:"A Daisy Architecture for the Multiprocessors Real Time Data Acquisition System of the Thor Tokamak Experiment", Microprocessing and Miprogramming, Vol.17,N.5,pp.285-296 Google Scholar
Digital Library
- 5 M.ANNUNZIATA-P.GUAZZONI-L.LISCA-G.B. SECHI-L.ZETTA:"A.M.D.A.S. an Advanced Microprogrammed Data Acquisition System: a First Evaluation Prototype", accepted by the Euromicro '86 Conference, VeniceGoogle Scholar
- 6 M.ALDdRIGHI-E.BINAGHI-G.R.SECHI: "Designing Complex Computational Systems in Physics' Experiments: a ScientificApproach Towards a Model-Based Method",inited paper for 1st meeting on: "Microprocessor Advanced Architectures and Design Methodologies", Bari 29-31 October '86.Google Scholar
- 7 M.L.MINSKY:"Matter, Mind, and Models" in proc. of IFIP Congress, Vol.1, Spartan Books pp.45-49, 1965Google Scholar
- 8 L.RODDA-R.SAVIONI-G.R.SECHI:"A Hierarchical Architecture with Independent Processors for Real Time Systems" Microprocessing and Microprogramming, Vol.15, N.5, pp.277-287Google Scholar
- 9 L.RODDA-G.R.SECHI:"Simulation as a Design Tool", Microprocessing and Microprogramming, Vol.15, N.4, pp,203-211Google Scholar
- 10 M.V.WILKES:"The Best Way to Design an Automatic Calculating Machine", Report of the Manchester University Computer Inaugural Conference, Manchester, England (July 1951)Google Scholar
- 11 S.S. HUSSON: "Microprogramming Principles and Practice", Prentice Hall, (1970)Google Scholar
- 12 J. MICK-J.BBICK:"Bit-Slice Microprocessor Design", MC Graw Hill, (1980) Google Scholar
Digital Library
- 13 D.E.WHITE:"Bit-Slices Design: Controllers end Alu's" Garland STPM Preas, New York, (1981) Google Scholar
Digital Library
- 14 L.LISCA-G.R.SECHI:"An Object-Oriented Memory Processor", I.P.C.T.R. internalGoogle Scholar
- 15 F.S. GOULDING-B.G.HARVBY:wIdentification of Nuclear Particles", Ann. Rev. Nucl. Sci. 25( 1975) 167-240Google Scholar
- 16 L. LISCA-G.R.SECHI:"The AMDAS Simulation", to be publishedGoogle Scholar
- 17 M.ANNUNZIATA-M.CHIOM)-L.MAJOCCHI- G.R.SECHI:"Image Object Processing", Computers and Artificial Intelligence, Vol.3, N.6, pp.505-526Google Scholar
Index Terms
MIDETT: Microprogrammed-system design technique and tools
Recommendations
MIDETT: Microprogrammed-system design technique and tools
MICRO 19: Proceedings of the 19th annual workshop on MicroprogrammingThis paper presents a design technique for computational systems based on the concepts of Model, Abstraction, and Simulation. This technique, developed and evaluated especially in Real Time System applications, is particularly useful to design ...
Integrating formal methods tools to support system design
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer SystemsSystem engineering requires design and verification at several levels of abstraction-from top-level process descriptions down to gate-level hardware designs. A variety of tools such as specification languages, simulators, model checkers, theorem-provers,...
Design of microprogrammed control for general purpose processors
This paper reviews some of the major concepts involved in the design of a microprogrammed control for a general purpose data processor. The areas discussed are timing, control store cycle design, bit dimension design and word dimension design. The ...






Comments