A DIGITAL SYSTEM DESIGN LANGUAGE (DDL)

被引：30

作者：

DULEY, JR

DIETMEYER, DL

机构：

[1] Laboratory for Pulse and Digital Techniques, Technical University of Denmark, Lyngbv.

[2] Department of Electrical Engineering, University of Wisconsin, Madison, Wis.

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1968年 / C 17卷 / 09期

关键词：

D O I：

10.1109/TC.1968.229145

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Successful design and manufacture of future digital systems will depend upon the availability of a suitable design language. A precise, concise language is presented which facilitates the specification of complex digital systems. The language 1) is independent of any particular technology, design procedure, machine organization, etc., 2) allows specification at different levels of detail from architecture to detailed Boolean equations, and 3) may be compiled into manufacturing information. Its syntax and semantics permit documents with an organization which parallels the block structure of the systems they specify. Syntax and semantics of the language are defined. Pragmatics of the language are demonstrated throughout the paper with examples. Index Terms—Automata Boolean equations, computer design, declarations, design automation, design language, digital systems, syntax and semantics, system design, system model. Copyright © 1968 by The Institute of Electrical and Electronics Engineers, Inc.

引用

页码：850 / +

页数：1

共 17 条

[1] AN ALGOL-LIKE COMPUTER DESIGN LANGUAGE [J].

CHU, Y .

COMMUNICATIONS OF THE ACM, 1965, 8 (10) :607-&

[2]

CHU Y, 1962, DIGITAL COMPUTER DES

[3]

DULEY JR, 1967, THESIS U WISCONSIN

[4] A FORMAL DESCRIPTION OF SYSTEM-360 [J].

FALKOFF, AD ;

IVERSON, KE ;

SUSSENGUTH, EH .

IBM SYSTEMS JOURNAL, 1964, 3 (03) :198-263

[5]

GORMAN DF, 1962, 1962 FALL JOINT COMP, V22, P251

[6]

Iverson K. E., 1962, PROGRAMMING LANGUAGE

[7] PROGRAMMING NOTATION IN SYSTEMS-DESIGN [J].

IVERSON, KE .

IBM SYSTEMS JOURNAL, 1963, 2 (JUN) :117-128

[8]

IVERSON KE, 1962, 1962 FALL JOINT COMP, V22, P121

[9]

MILLER RE, 1965, SWITCHING THEORY, V2

[10] A LANGUAGE FOR DESCRIBING FUNCTIONS OF SYNCHRONOUS SYSTEMS [J].

PARNAS, DL .

COMMUNICATIONS OF THE ACM, 1966, 9 (02) :72-&

← 1 2 →