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
A real time control system based on a fuzzy compiled knowledge base
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
Counter register: algebraic model and applications
WSEAS Transactions on Computers
Algebraic model for the flip-flops behaviour with final states
MACMESE'08 Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering
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
A VHDL-based design methodology for asynchronous circuits
WSEAS Transactions on Circuits and Systems
The design of a simple asynchronous processor
MMACTEE'10 Proceedings of the 12th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
The design of sharing resources for asynchronous systems
MMACTEE'10 Proceedings of the 12th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
An evaluation for the design of asynchronous systems
WSEAS Transactions on Circuits and Systems
An optimization for the design of a simple asynchronous processor
WSEAS Transactions on Computers
Algebraic model for the CPU logic unit behaviour
Proceedings of the 15th WSEAS international conference on Computers
| Hi-index | 0.01 |
Process algebra represents the study of concurrent communicating processes in an algebraic framework. For the interest of the present results we use the Milner's process algebra SCCS for specifying the synchronized communication between specific hardware components. In this paper, the original contribution of the author consists in defining and verifying the SCCS specifications for the intercommunicating hardware components. With such an algebraic model, we remark the main advantage of both formal and automated verification of the proposed SCCS agents, instead of a simulation-based verification of the computer components behaviour.