Symbolic System Synthesis in the Presence of Stringent Real-Time Constraints

Download Now
Provided by: Association for Computing Machinery
Topic: Hardware
Format: PDF
Stringent real-time constraints lead to complex search spaces containing only very few or even no valid implementations. Hence, while searching for a valid implementation a substantial amount of time is spent on timing analysis during system synthesis. This paper presents a novel system synthesis approach that efficiently prunes the search space in case real-time constraints are violated. For this purpose, the reason for a constraint violation is analyzed and a deduced encoding removes it permanently from the search space. Thus, the approach is capable of proving both the presence and absence of a correct implementation.
Download Now

Find By Topic