Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем!
Поздравляем нового Логобуржца Санара со вступлением в клуб!

Реклама

КНИЖНЫЙ МИР

Timing Verification in Transaction Modeling   Alena Tsikhanovich

Timing Verification in Transaction Modeling

136 страниц. 2011 год.
LAP Lambert Academic Publishing
Hardware/Software (Hw/Sw) systems are likely to become essential in all aspects of everyday life. However, the productive design of these systems is limited by several factors, some of them being the increasing complexity of applications, the heterogeneous nature of products and services as well as the shrinking of the time-to-market delay. Transaction Level Modeling (TLM) paradigm is considered as one of the most promising simulation paradigms to break down the design complexity by allowing the exploration and validation of design alternatives at high levels of abstraction. This research proposes a timing expression methodology in Transation Level Models based on temporal constraints analysis. We propose to use a combination of two paradigms to accelerate the design process: TLM on one hand and a methodology to express timing between different transactions on the other hand. As there are many definitions of TLM with several pro and contra, in the context of our ...
 
- Генерация страницы: 0.04 секунд -