Timing verification of distributed network systems at higher levels of abstraction

@article{HatefiArdakani2008TimingVO,
  title={Timing verification of distributed network systems at higher levels of abstraction},
  author={Hassan Hatefi-Ardakani and Amir Masoud Gharehbaghi and Shaahin Hessabi},
  journal={2008 IEEE International High Level Design Validation and Test Workshop},
  year={2008},
  pages={101-107}
}
Nowadays, distributed network systems are broadly using in embedded, real-time and networked control systems. Since they often operate under strict timing constraints, the timing verification is an important and critical phase during the design of them. On the other hand, as contemporary digital systems become more and more complex, taking advantage of the system-level design is gaining more widespread acceptance. Beginning from the transaction-level of abstraction is a common and effective… CONTINUE READING