DMCA
Timing analysis of an embedded memory: SPSMALL (2006)
| Venue: | In 10th WSEAS International Conference on Circuits |
| Citations: | 6 - 5 self |
BibTeX
@INPROCEEDINGS{Chevallier06timinganalysis,
author = {Remy Chevallier and Emmanuelle Encrenaz-tiphène and Laurent Fribourg and Weiwen Xu},
title = {Timing analysis of an embedded memory: SPSMALL},
booktitle = {In 10th WSEAS International Conference on Circuits},
year = {2006}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract: This paper proposes a high-level formalism, called Abstract Functional and Timing Graph (AFTG), for describing a memory architecture, which combines logical functionality and timing. After translation of the AFTG into the form a timed automaton, we are able to compute the response times of the modeled memory, and check their consistency with the values specified in the datasheet. We also address the problem of finding optimal values of setup timings.
