SPECC: Specification Language and Methodology

برای آینده نزدیک، پیش‌بینی‌ها و نقشه‌های راه اخیر فناوری نیمه‌رسانای سیلیکونی، همگی موافق هستند که تعداد ترانزیستورهای روی یک تراشه طبق قانون مور به‌طور تصاعدی در حال افزایش است و فناوری را به سمت سیستم روی تراشه (SOC) سوق می‌دهد. عصر. با این حال، ما به طور فزاینده ای شکاف بهره وری را تجربه می کنیم که در آن پیچیدگی تراشه که می تواند توسط تیم های طراحی فعلی مدیریت شود، از امکانات ارائه شده توسط پیشرفت های تکنولوژیک فاصله دارد. این امر همراه با فشارهای فزاینده زمان تا بازار، نیاز به اقدامات نوآورانه برای افزایش بهره وری طراحی را با مرتبه بزرگی ایجاد می کند.
معمولاً توافق بر این است که راه‌حل‌های دستیابی به چنین جهشی در بهره‌وری طراحی در تغییر تمرکز فرآیند طراحی به سطوح بالاتر انتزاع از یک سو و در استفاده مجدد گسترده از اجزای سیستم از پیش طراحی‌شده و پیچیده نهفته است. (مالکیت معنوی، IP) از سوی دیگر. برای موفقیت، هر دو مفهوم در نهایت نیازمند پذیرش زبان‌ها و متدولوژی‌های جدید برای طراحی سیستم هستند که با در دسترس بودن مجموعه‌ای از ابزارهای اتوماسیون طراحی در سطح سیستم پشتیبانی می‌شوند.
این کتاب زبان طراحی سطح سیستم SpecC (SLDL) و متدولوژی طراحی SpecC مربوطه را ارائه می دهد.
زبان SpecC برای مشخصات و طراحی SOCها یا سیستم‌های تعبیه‌شده شامل نرم‌افزار و سخت‌افزار، اعم از استفاده از پلتفرم‌های ثابت، ادغام سیستم‌ها از IPهای مختلف، یا ترکیب بلوک‌های سیستم از زبان‌های برنامه‌نویسی یا توصیف سخت‌افزار در نظر گرفته شده است. زبان و روش مشخصات SpecC روش SpecC را توصیف می کند که طراحان را از طریق یک دنباله مراحل کاملاً تعریف شده از یک مشخصات اجرایی به یک پیاده سازی RTL هدایت می کند. هر مدل توضیح داده شده و دستورالعمل هایی برای تولید این مدل ها از روی مشخصات اجرایی ارائه شده است. در نهایت، روش SpecC بر روی یک مثال در اندازه صنعتی نشان داده شده است. جامعه طراحی اکنون در حال ورود به سطح سیستم دوران انتزاع است و SpecC عنصر توانمند برای دستیابی به یک تغییر پارادایم در فرهنگ طراحی مورد نیاز برای طراحی و تولید سیستم/محصول است.
زبان و روش مشخصات SpecC برای محققان، طراحان و مدیرانی که با طراحی سطح سیستم، جریان‌های طراحی و روش‌شناسی و همچنین دانشجویانی که مشخصات، مدل‌سازی و طراحی سیستم را یاد می‌گیرند، مورد علاقه خواهد بود.

For the near future, the recent predictions and roadmaps of silicon semiconductor technology all agree that the number of transistors on a chip will keep growing exponentially according to Moore's Law, pushing technology towards the system-on-a-chip (SOC) era. However, we are increasingly experiencing a productivity gap where the chip complexity that can be handled by current design teams falls short of the possibilities offered by technological advances. Together with growing time-to-market pressures, this drives the need for innovative measures to increase design productivity by orders of magnitude.
It is commonly agreed that the solutions for achieving such a leap in design productivity lie in a shift of the focus of the design process to higher levels of abstraction on the one hand and in the massive reuse of predesigned, complex system components (intellectual property, IP) on the other hand. In order to be successful, both concepts eventually require the adoption of new languages and methodologies for system design, backed-up by the availability of a corresponding set of system-level design automation tools.
This book presents the SpecC system-level design language (SLDL) and the corresponding SpecC design methodology.
The SpecC language is intended for specification and design of SOCs or embedded systems including software and hardware, whether using fixed platforms, integrating systems from different IPs, or synthesizing the system blocks from programming or hardware description languages. SpecC Specification Language and Methodology describes the SpecC methodology that leads designers from an executable specification to an RTL implementation through a well-defined sequence of steps. Each model is described and guidelines are given for generating these models from executable specifications. Finally, the SpecC methodology is demonstrated on an industrial-size example. The design community is now entering the system level of abstraction era and SpecC is the enabling element to achieve a paradigm shift in design culture needed for system/product design and manufacturing.
SpecC Specification Language and Methodology will be of interest to researchers, designers, and managers dealing with system-level design, design flows and methodologies as well as students learning system specification, modeling and design.