DocumentCode :
3677684
Title :
Clocks and Their Applications
fYear :
2015
fDate :
7/7/1905 12:00:00 AM
Firstpage :
1
Lastpage :
1
Abstract :
This session presents a new technique to verify synchronization protocols on RTL designs that automatically extract synchronizers from a flat design, and helkps to formally verify the correctness of the implemented synchronization protocol. It also present an approach to dynamically tune the time quantum in temporally decoupled simulations in order to improve the accuracy/performance tradeoff in virtual prototypes. Finally it presents an approach for the high level modeling of efficient power strategies in ESL design, which helps analyzing the effect of clock gating and frequency scaling by using a template that allows to integrate clock domains in SystemC-TLM simulations with power management support.
Keywords :
"Clocks","Synchronization","Protocols","Analytical models","Predictive models","Accuracy","Prototypes"
Publisher :
ieee
Conference_Titel :
Specification and Design Languages (FDL), 2015 Forum on
ISSN :
1636-9874
Type :
conf
DOI :
10.1109/FDL.2015.7306364
Filename :
7306364
Link To Document :
بازگشت