An ALGOL-like computer design language
Communications of the ACM
On the construction of micro-flowcharts
Communications of the ACM
A digital system modeling philosophy and design language
DAC '71 Proceedings of the 8th Design Automation Workshop
Automated logic implementation
ACM '68 Proceedings of the 1968 23rd ACM national conference
The description, simulation, and automatic implementation of digital computer processors
The description, simulation, and automatic implementation of digital computer processors
A digital control design system
A digital control design system
Control structures for programming languages
Control structures for programming languages
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
A programming language
The Description and Use of Register-Transfer Modules (RTM's)®
IEEE Transactions on Computers
Methods Used in an Automatic Logic Design Generator (ALERT)
IEEE Transactions on Computers
IEEE Transactions on Computers
Modular, asynchronous control structures for a high performance processor
Record of the Project MAC conference on concurrent systems and parallel computation
The recording, checking, and printing of logic diagrams
AIEE-ACM-IRE '58 (Eastern) Papers and discussions presented at the December 3-5, 1958, eastern joint computer conference: Modern computers: objectives, designs, applications
A common language for hardware, software, and applications
AFIPS '62 (Fall) Proceedings of the December 4-6, 1962, fall joint computer conference
AFIPS '62 (Fall) Proceedings of the December 4-6, 1962, fall joint computer conference
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
A proposal for a computer compiler
AFIPS '66 (Spring) Proceedings of the April 26-28, 1966, Spring joint computer conference
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
SODAS and a methodology for system design
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
More on simulation languages and design methodology for computer systems
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
The PMS and ISP descriptive systems for computer structures
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
A formal description of SYSTEM/360
IBM Systems Journal
IBM Journal of Research and Development
Petri nets as a common tool for design verification and hardware simulation
DAC '76 Proceedings of the 13th Design Automation Conference
Slide: An I/O Hardware Descriptive Language
IEEE Transactions on Computers
An architectural research facility: ISP descriptions, simulation, data collection
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
CONLAN: a formal construction method for hardware description languages: basic principles
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Instruction set processor specifications (ISPS): the notation and its applications
IEEE Transactions on Computers
| Hi-index | 14.99 |
Different notations have been proposed over the years to describe register transfer (RT) systems. They have met with varying degrees of success and to provide a direct comparison of them is a difficult task. One of the reasons for this is the different views of the RT level of design held by the proponents of the languages.