2022
DOI: 10.3390/electronics11121888
|View full text |Cite
|
Sign up to set email alerts
|

Improving Symbolic System-Level Synthesis by Solver Coordination and Domain-Specific Heuristics

Abstract: Deciding binding, routing, and scheduling within system synthesis for hard real-time systems can be a challenging task. Symbolic methods leveraging results from the area of satisfiability modulo theories (SMT) solving have shown to be scalable methods for this by splitting the work between a logic solver for routing and binding, and a background theory solver performing schedulability analysis. For these methods, in order to prune the search space of infeasible implementations efficiently, a feedback by the ba… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 44 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?