Computer-based design of analog integrated CMOS-circuits
ICC'07 Proceedings of the 11th Conference on Proceedings of the 11th WSEAS International Conference on Circuits - Volume 11
Algebraic model for the intercommunicating hardware components behaviour
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Algebraic model for the behaviour of a D-flip-flops-based memory component
MAMECTIS'10 Proceedings of the 12th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems
Algebraic model for the CPU logic unit behaviour
Proceedings of the 15th WSEAS international conference on Computers
| Hi-index | 0.00 |
Hardware system consists of interconnected components, meaning communicating and synchronized components. Since the number of interconnected components in a computer system is continuously increasing, it follows that it is useful to have an alternative solution for verifying the computer operation instead of a simulation-based verification. In this paper we consider a specific component of the modern computer systems, namely a counter register, and we propose an algebraic approach as a solution for modelling and verifying the specification agents. As a final part of the paper, we mention some practical applications of the counter register, both in the everyday life and for the internal structure of the computer systems.