16 search results - page 4 / 4 » ATLAS: Automatic Term-level abstraction of RTL designs |
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...