Slide: An I/O Hardware Descriptive Language

This paper describes the SLIDE language—a hardware-descriptive language desigued for the description of input/output, interfaces, and interconnected digital systems. The language allows the description of asynchronous, concurrent processes which can communicate. Timing and synchronization mechanisms are capable of being described as well. Current research applications include the use of the SLIDE language for I/O simulation and for verification of synchronization mechanisms.

[1]  Gordon Bell,et al.  ISP: A Notation to Describe A Computer's Instruction Sets , 1973, Computer.

[2]  Chris A. Vissers.  Interface, a dispersed architecture , 1976, ISCA.

[3]  Frederick J. Hill,et al.  Digital systems: hardware organization and design , 1973 .

[4]  Arthur H. Altman,et al.  The SLIDE simulator : a design and evaluation tool for I O and interfacing strategies , 1979 .

[5]  Mario R. Barbacci.  The Symbolic Manipulation of Computer Descriptions: ISPL Compiler and Simulator, , 1976 .

[6]  Allen Newell,et al.  Computer Structures: Readings and Examples, , 1971 .

[7]  M. H. MacDougall,et al.  Computer system simulation with ASPOL , 1973, ANSS '73.

[8]  Mario Barbacci,et al.  A Comparison of Register Transfer Languages for Describing Computers and Digital Systems , 1975, IEEE Transactions on Computers.

[9]  Mario R. Barbacci,et al.  Automated exploration of the design space for register transfer (RT) systems , 1973, ISCA 1973.

[10]  Martin Richards,et al.  BCPL: a tool for compiler writing and system programming , 1969, AFIPS '69 (Spring).

[11]  Donald E. Knuth,et al.  A Formal Definition of SOL , 1964, IEEE Trans. Electron. Comput..

[12]  Allen Newell,et al.  Designing computers and digital systems : using pdp16 register transfer modules , 1972 .

[13]  John J. Wallace.  On automatic verification of SLIDE descriptions , 1979 .

[14]  Alice C. Parker,et al.  The Slide Simulator: A Facility for the Design and Analysis of Computer Interconnections , 1980, 17th Design Automation Conference.

[15]  Donald Leo Dietmeyer,et al.  Logic design of digital systems , 1971 .

[16]  D. C. Loughry,et al.  Instrumentation: Insight into interfacing: Thorough and unambiguous understanding of interface systems demands sound design concepts and a precise descriptive language , 1975, IEEE Spectrum.

[17]  Mario Barbacci,et al.  Instruction set processor specifications (ISPS): The notation and its applications , 1981, IEEE Transactions on Computers.