More Web Proxy on the site http://driver.im/

article

Free access

HISDL—a structure description language

Author:

Willie Y.-P. LimAuthors Info & Claims

Communications of the ACM, Volume 25, Issue 11

Pages 823 - 830

https://doi.org/10.1145/358690.358709

Published: 01 November 1982 Publication History

Abstract

The features of a language designed for the description of the structure of computer systems are described. The structure of a system is specified hierarchically as an interconnection of components with each component being a named instance of a component type. The system itself is another component type. The interconnection between components is specified in two ways: either by specifying all the ports that are connected together, or by specifying a component and the ports that are connected to its ports. A structure specification is a list of such connection specifications. The language has an iterative construct for specifying highly regular structures, and a conditional construct is also provided. A component type can be recursively specified while parameterization of component type specifications is supported. The latter is particularly useful for specifying classes of components of similar structure.

References

[1]

Barbacci, M.R., Barnes, G.E., Cattell, R.G., and Siewiorek, D.P. The ISPS computer description language. Tech. Report CMU-CS-79- 137, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania, 1977 (updated 1979).

[2]

Bell, C.G., and Newell, A. Computer structures: Readings and examples. McGraw-Hill Book Company, New York, New York, 1971.

Digital Library

[3]

Bryant, R.E. MOSSIM: A switch-level simulator for MOS LSI. In Proc. 18th Design Automation Conf., Nashville, Tenn., June 1981, pp. 786-790.

Digital Library

[4]

Case, G.R., and Stauffer, J.D. SALOGS-IV--A language to perform logic simulation and fault diagnosis. In Proc. 15th Design Automation Conf., Las Vegas, Nev., June 1978, pp. 392-397.

Digital Library

[5]

Christopher, T., E1-Dessouki, O., Evens, M., Kabat, W., and Wagle, S. A Fastbus system description language. In Proc. 1980 Int. Conf. on Parallel Processing, August 1980, pp. 149-150.

[6]

Dennis, J.B., Boughton, G.A., and Leung, C.K.C. Building blocks for data flow prototypes. In Proc. 1980 Symposium on Computer Architecture, LaBaule, France, May 1980, pp. 1-8.

Digital Library

[7]

Hill, F.J., Swanson, R.E., Masud, M., and Navabi, Z. Structure specification with a procedural hardware description language. IEEE Trans. Computers C-30, 2 (Feb. 1981), pp. 157-161.

[8]

Hosler, B.W. The design and implementation of a PMS level hardware interconnection language. Tech. Report CMU-CS-79-150, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania, 1979.

[9]

Keller, R.M. Towards a theory of universal speed-independent modules. IEEE Trans. Computers C-23, l (Jan. 1974), pp. 21-33.

Digital Library

[10]

Klein, S., and Sastry, S. Parameterized modules and interconnections in unified hardware descriptions. In Computer Hardware Description Languages and their Applications, M. Breuer and R. Hartenstein (Eds.), North-Holland Publishing Company, Amsterdam, Holland, 1981, pp. 185-195.

[11]

Kung, H.T., and Leiserson, C.E. Systolic arrays (for VLSI). Sparse Matrix Proceedings 1978, I.S. Duff, and G.W. Stewart, (Eds.), SIAM, 1979, pp. 256-282.

[12]

Lincoln Laboratory, M.I.T. Semiannual technical summary: Restructurable VLSI program, Rep. DTIC AD-A096075, Lexington, Mass., Mar. 1980, pp. 11-14.

[13]

Lincoln Laboratory, M.I.T. Semiannual Technical Summary: Restructurable VLSI program. Rep. DTIC AD-AI08276, Lexington, Mass., Mar. 1981, pp. 21-23.

[14]

Maxey, G.F., and Organick, E.I. CASL--A language for automating the implementation of computer architectures. In Proc. 4th Int. Syrup. Computer Hardware Description Languages, Palo Alto, Calif., Oct. 1979, pp. 102-108.

[15]

Mead C.A., and Conway, L.A. Introduction to VLSI Systems. Addison-Wesley Publishing Company, Reading, Mass., 1980.

Digital Library

[16]

Pawlak, A., and Jezewski, J. MODLAN--A language for multilevel description and modeling of digital systems. In Computer Hardware Description Languages and their Applications, M. Breuer and R. Hartenstein (Eds.), North-Holland Publishing Company, Amsterdam, Holland, 1981, pp. 79-93.

[17]

Preston, G.W. (Ed.). Report of IDA summer study on hardware description language, IDA Paper P-1595, Science and Technology Division, Institute for Defense Analysis, Arlington, Virginia, 1981.

[18]

Raeth, P.G., Acken, J.M., Lamont, G.B., and Borky, J.M. Functional modeling for logic simulation. In Proc. 18th Design Automation Conf., Nashville, Tenn., June 1981, pp. 791-795.

Digital Library

[19]

Shiva, S.G. Computer hardware description langnages--A tutorial. Proc. IEEE 67, 12 (Dec. 1979), pp. 1605-1615.

[20]

vanCleemput, W.M. A hierarchical language for the structural description of digital systems. In Proc. 14th Design Automation Conf., New Orleans, Louisiana, June 1977, pp. 377-385.

Digital Library

[21]

Wu, C., and Feng, T. On a class of multistage interconnection networks. IEEE Trans. Computers C-29, 8 (Aug. 1980), pp. 694-702.

Cited By

Adamo JBonello C(2005)TéNOR++: A dynamic configurer for SuperNode machinesCONPAR 90 — VAPP IV10.1007/3-540-53065-7_140(640-651)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-53065-7_140
Smit J(2005)Computer algebra and VLSI, prospects for cross fertilizationComputer Algebra10.1007/3-540-12868-9_111(275-285)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-12868-9_111
Ranai KTan CChan S(1990)Artificial Intelligence research at the National University of SingaporeArtificial Intelligence Review10.1007/BF022214944:1(21-37)Online publication date: Mar-1990
https://doi.org/10.1007/BF02221494
Show More Cited By

Index Terms

HISDL—a structure description language

Recommendations

Block description language (BDL): A structural description language
DAC '84: Proceedings of the 21st Design Automation Conference

The Block Description Language (BDL), a language for capturing the structure of an electronic system, is described. The structure of a system may be specified hierarchically in this language. Additional information may be associated with the structural ...
Structural operational semantics for supporting multi-cycle operations in RTL HDLs
MEMOCODE '05: Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design

In this paper we formally define an operational semantics framework RTL++ for modeling behavioral RTL hardware IP. The semantics we define is neutral to existing HDLs and extends traditional sense RTL by natively supporting pipelined and multi-cycled ...
Towards a formal foundation of the specification and description language SDL
Abstract
A formal model is described for the CCITT specification and description language SDL which provides a graphical concept for representing designs of systems interacting by signals. The model is based on functional descriptions of interactive ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Communications of the ACM

Communications of the ACM Volume 25, Issue 11

Nov 1982

82 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/358690

Editor:
Robert L. Ashenhurst
Univ. of Chicago, Chicago,IL

Issue’s Table of Contents

Copyright © 1982 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1982

Published in CACM Volume 25, Issue 11

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
339
Total Downloads

Downloads (Last 12 months)92
Downloads (Last 6 weeks)31

Reflects downloads up to 14 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Adamo JBonello C(2005)TéNOR++: A dynamic configurer for SuperNode machinesCONPAR 90 — VAPP IV10.1007/3-540-53065-7_140(640-651)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-53065-7_140
Smit J(2005)Computer algebra and VLSI, prospects for cross fertilizationComputer Algebra10.1007/3-540-12868-9_111(275-285)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-12868-9_111
Ranai KTan CChan S(1990)Artificial Intelligence research at the National University of SingaporeArtificial Intelligence Review10.1007/BF022214944:1(21-37)Online publication date: Mar-1990
https://doi.org/10.1007/BF02221494
Acharya ABhawmik SPrasad CPalchaudhuri P(1989)KIDLAN: a hardware description languageMicroprocessing and Microprogramming10.1016/0165-6074(89)90276-726:1(1-13)Online publication date: 1-Mar-1989
https://dl.acm.org/doi/10.1016/0165-6074%2889%2990276-7
Pattison HCorkill DLesser V(1987)Instantiating Descriptions of Organizational StructuresDistributed Artificial Intelligence10.1016/B978-0-934613-38-5.50006-4(59-96)Online publication date: 1987
https://doi.org/10.1016/B978-0-934613-38-5.50006-4
Ancona MClematis Ade Floriani LPuppo E(1987)A hardware description language based on a hierarchical graph modelMicroprocessing and Microprogramming10.1016/0165-6074(87)90139-620:1-3(183-188)Online publication date: 1-Apr-1987
https://dl.acm.org/doi/10.1016/0165-6074%2887%2990139-6
Bammi JWalker TDominick W(1985)An experimental representation for organizational level designs and synthesisProceedings of the 1985 ACM thirteenth annual conference on Computer Science10.1145/320599.320663(136-143)Online publication date: 1-Mar-1985
https://dl.acm.org/doi/10.1145/320599.320663
German SLieberherr K(1985)ZeusComputer10.1109/MC.1985.166279918:2(55-65)Online publication date: 1-Feb-1985
https://dl.acm.org/doi/10.1109/MC.1985.1662799
Slutz EOkita GWiseman JLambert POfek HO'Neill LPistilli PLosleben PNash JShaklee DPreas BLerman H(1984)Block description language (BDL)Proceedings of the 21st Design Automation Conference10.5555/800033.800777(81-85)Online publication date: 25-Jun-1984
https://dl.acm.org/doi/10.5555/800033.800777
Slutz EOkita GWiseman J(1984)Block Description Language (BDL): A Structural Description Language21st Design Automation Conference Proceedings10.1109/DAC.1984.1585776(81-85)Online publication date: 1984
https://doi.org/10.1109/DAC.1984.1585776
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents