Register-transfer level digital design automation: The allocation process
DAC '78 Proceedings of the 15th 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.
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Microcode development for microprogrammed processors
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Performance specification using attributed grammars
DAC '93 Proceedings of the 30th international Design Automation Conference
Expert system approach to VLSI cell design (abstract)
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Processor Description Languages
Processor Description Languages
VSPEC constraints modeling and evaluation
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Instruction set processor specifications (ISPS): the notation and its applications
IEEE Transactions on Computers
Hi-index | 0.00 |
Formal descriptions of digital computers have been used traditionally for pedagogical purposes [Barbacci75]. Recent developments however, illustrate that a formal computer description is highly useful in the simulation, evaluation, and synthesis of computers and other digital systems. In this paper we shall review the use of the ISP notation [Bell71, Barbacci76, Barbacci77] at Carnegie-Mellon University. The paper is organized into three sections that deal with the language, its use in the simulation and evaluation of computer architectures, and finally, its use in computer aided design. I this paper we emphasize the commonality between these seemingly disjoint application. The reader is invited to consult the specific references for additional information of any particular subject.