Abstract
Timing constraint specification and verification constitutes an essential activity throughout the system design process. Currently, system design requires the use of several languages at the different abstraction levels based on different computational models. In [1], a general framework for comparing models of computation has been proposed. It represents a powerful framework for understanding, analyzing and comparing different computational models.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have