Compositionality of Statically Scheduled IP

نویسندگان

  • Julien Boucaron
  • Jean-Vivien Millo
چکیده

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].

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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