|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
ESL Design with RTL-Verified Predesigned Abstract Communication Channelsстатья
- Авторы: Haghi Najafi H., Chupilko M., Kamkin A., Navabi Z.
- Сборник: Proceedings of East-West Design & Test Symposium
- Год издания: 2016
- DOI: 10.1109/EWDTS.2016.7807632
- Аннотация: Electronic System Level (ESL) design flow tries to handle the complexity of today’s System-on-Chip design and verification. Due to this complexity, design and verification methodologies start from an abstraction level higher than Register Transfer Level (RTL). In ESL, verification becomes a major bottleneck in the design flow, and finding a good verification methodology at this abstraction level is important. In this paper, we focus on communication parts of ESL designs rather than the computation parts. Here, we propose a new environment for ESL designs called RTL+, which is an abstraction level higher than RTL and yet lower than TLM-2 implementation of ESL. For RTL+ models verification, we propose using a simulation-based toolkit named C++TESK.
- Добавил в систему: Камкин Александр Сергеевич