A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM
Computer Engineering; A DEC View of Hardware Systems Design
Computer Engineering; A DEC View of Hardware Systems Design
Register-transfer level digital design automation: The allocation process
DAC '78 Proceedings of the 15th Design Automation Conference
Instruction set processor specifications for simulation, evaluation, and synthesis
DAC '79 Proceedings of the 16th Design Automation Conference
The CMU design automation system: An example of automated data path design
DAC '79 Proceedings of the 16th Design Automation Conference
Automated exploration of the design space for register-transfer (rt) systems.
Automated exploration of the design space for register-transfer (rt) systems.
Automatic generation of assemblers.
Automatic generation of assemblers.
Formalization and automatic derivation of code generators.
Formalization and automatic derivation of code generators.
State deltas: a formalism for representing segments of computation.
State deltas: a formalism for representing segments of computation.
Symbolic execution of formal machine descriptions
Symbolic execution of formal machine descriptions
Functional testing of digital systems
Functional testing of digital systems
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
IEEE Transactions on Computers
Overview of the military computer family architecture selection
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
The CMU RT-CAD system: an innovative approach to computer aided design
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Diagrammatic function description of microprocessor and data-flow processor
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
A formal description of the UNIX operating system
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Processor Description Languages
Processor Description Languages
Avoiding game over: bringing design to the next level
Proceedings of the 49th Annual Design Automation Conference
DHASER: dynamic heterogeneous adaptation for soft-error resiliency in ASIP-based multi-core systems
Proceedings of the International Conference on Computer-Aided Design
| Hi-index | 14.98 |
The Instruction Set Processor Specifications (ISPS) computer description language is an evolutionary step towards the formalization of the digital design process at the higher or behavioral levels. It has been used as a design tool, which covers a wider area of application than any other hardware description language. Thus, besides simulation and synthesis of hardware, software generation, program verification, and architecture evaluation and control are among the current applications based on ISPS. The range of current and contemplated application areas are proof of the usefulness of the notation and its extension mechanisms. ISPS supports a wide range of applications, rather than a wide range of design levels. Thus, this paper is divided into two parts. The first part describes the notation, its intended use, and the extension mechanisms which allow multiple applications or areas of research to coexist and share machine descriptions. The second part describes some of the current applications for ISPS.