The design and description of computer architectures
The design and description of computer architectures
Digital systems: hardware organization and design (3rd ed.)
Digital systems: hardware organization and design (3rd ed.)
The operational versus the conventional approach to software development
Communications of the ACM
Microprogramming and Firmware Engineering Methods
Microprogramming and Firmware Engineering Methods
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Hi-index | 0.00 |
Operational specification is a method of documenting specifications for systems which separates the implementation details from the problem requirements details. Operational specification permits simulation of the specification enabling the specification creator to test the specification to see how well it satisfies prescribed functional requirements. The line between specification and description when applied to computer architecture design is rather thin in my opinion and the experience of this author indicates that a particular specification tool known as PAISLey (described in more detail below) can serve as a suitable hardware description tool.