Soft Scheduling for Hardware
- Richard SharpAffiliated withComputer Laboratory, Cambridge UniversityAT&T Laboratories Cambridge
- , Alan MycroftAffiliated withComputer Laboratory, Cambridge University
Hardware designs typically combine parallelism and resource-sharing; a circuit’s correctness relies on shared resources being accessed mutually exclusively. Conventional high-level synthesis systems guarantee mutual exclusion by statically serialising access to shared resources during a compile-time process called scheduling. This approach suffers from two problems: (i) there is a large class of practical designs which cannot be scheduled statically; and (ii) a statically fixed schedule removes some opportunities for parallelism leading to less efficient circuits.
This paper surveys the expressivity of current scheduling methods and presents a new approach which alleviates the above problems: first scheduling logic is automatically generated to resolve contention for shared resources dynamically; then static analysis techniques remove redundant scheduling logic.
We call our method Soft Scheduling to highlight the analogy with Soft Typing: the aim is to retain the flexibility of dynamic scheduling whilst using static analysis to remove as many dynamic checks as possible.
- Soft Scheduling for Hardware
- Book Title
- Static Analysis
- Book Subtitle
- 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings
- pp 57-72
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Industry Sectors
- eBook Packages
- Patrick Cousot (4)
- Editor Affiliations
- 4. Département d’Informatique, École Normale Supérieure
- Author Affiliations
- 5. Computer Laboratory, Cambridge University, New Museums Site, Pembroke Street, Cambridge, CB, 2 3QG, UK
- 6. AT&T Laboratories Cambridge, 24a Trumpington Street, Cambridge, CB, 2 1QA, UK
To view the rest of this content please follow the download PDF link above.