A Synchronization Algorithm for Local Temporal Refinements in Perfectly Synchronous Models with Nested Feedback Loops
2007 (English)In: GLSVLSI'07: PROCEEDINGS OF THE 2007 ACM GREAT LAKES SYMPOSIUM ON VLSI, NEW YORK: ASSOC COMPUTING MACHINERY , 2007, 353-358 p.Conference paper (Refereed)
Due to the abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification methods. In synchronous models, a local temporal refinement that increases the delay in a single computation block may affect the functionality of the entire model. To preserve the system's functionality after temporal refinements we provide a synchronization algorithm that applies also to models with nested feedback loops. The algorithm adds pure delay elements to the model in order to balance the delay caused by refinement and to assure concurrent data arrival at computation blocks. It is done so that the refined model stays latency equivalent to the original model. The advantages of our approach are that (a) we remain fully within the synchronous model of computation, (b) we preserve the functionality of the existing computation blocks, and (c) we do not require additional computation resources, wrapper circuits or schedulers.
Place, publisher, year, edition, pages
NEW YORK: ASSOC COMPUTING MACHINERY , 2007. 353-358 p.
System Design, Design Refinement, Synchronization
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-30778DOI: 10.1145/1228784.1228869ISI: 000268001100070ScopusID: 2-s2.0-34748896836ISBN: 978-1-59593-605-9OAI: oai:DiVA.org:kth-30778DiVA: diva2:404703
17th Great Lakes Symposium on VLSI Stresa, ITALY, MAR 11-13, 2007
QC 201103182011-03-182011-03-042012-02-28Bibliographically approved