Compositionality of Statically Scheduled IP
نویسندگان
چکیده
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Latency-Insensitive Design (LID) [5,7]. It was noticed in [7] that, in many cases, the dynamically scheduled synchronisations introduced by latency-insensitive protocols could be computed off-line as a static periodic schedule. We showed in [2,3] how this schedule could then be used to further optimize the protocol resources when they are found redundant. The purpose of the present paper is to study how the larger blocks, obtained as synchronous components interconnected by LID protocols optimized by static schedule informations, can be again made to operate with an environment that provides also I/O connections at its own (synchronous or GALS) rate. We also consider the case of multirate SoC, using results from SDF (Synchronous DataFlow) theory [12].
منابع مشابه
Evaluating Compiler Support for Complexity Effective Network Processing
Statically scheduled processors are known to enable low complexity hardware implementations that lead to reduced design and verification time. However, statically scheduled processors are critically dependent on the compiler to exploit instruction level parallelism and deliver higher performance. In order to ascertain the suitability of statically scheduled processors for network processing (wh...
متن کاملStability analysis of networked control systems
Gregory C. Walsh and Hong Ye and Linda Bushnell1 Department of Mechanical Engineering University of Maryland at College Park, MD 20742 [email protected], [email protected] Abstract In this paper we introduce a novel control network protocol, Try-Once-Discard (TOD), for networked control systems (NCS), and provide, for the rst time, an analytic proof of global exponential stability for both th...
متن کاملCertified Reasoning with Infinity
We demonstrate how infinities improve the expressivity, power, readability, conciseness, and compositionality of a program logic. We prove that adding infinities to Presburger arithmetic enables these improvements without sacrificing decidability. We develop Omega++, a Coq-certified decision procedure for Presburger arithmetic with infinity and benchmark its performance. Both the program and pr...
متن کاملبررسی اثرات هورمون رشد بر اختلالات ایجاد شده در فعالیت بافت بیضه موش صحرایی توسط داروی متوتراکسات
Introduction & Objectives: Methotrexate (MTX) is a chemotherapeutic agent that used for the treatment of a variety of tumors and inflammatory diseases. The aim of this study was planed to see the role of human growth hormone (hGH) on testis recovery after treatment with MTX in rat. Materials & Methods: In this experimental study the fifty male wistar rat were selected and randomly divided ...
متن کاملInterrupt and Low-level Programming Support for Expanding the Application Domain of Statically-Scheduled Horizontally-Microcoded Architectures in Embedded Systems
The increasing role of software in the embedded systems has made processor an important component in these systems. However, to meet the tight constraints of embedded application, it is often required to customize the processor for the application. Customizing instruction-based processors is difficult and very challenging. Design approaches based on statically-scheduled horizontal-microcoded ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 200 شماره
صفحات -
تاریخ انتشار 2008