Counter register: algebraic model and applications
Anca Vasilescu · WSEAS Transactions on Computers archive · 2008
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.