دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A Practical Introduction to PSL (Series on Integrated Circuits and Systems)
دانلود کتاب مقدمه ای عملی بر PSL (سری مدارها و سیستم های مجتمع)
مشخصات کتاب
A Practical Introduction to PSL (Series on Integrated Circuits and Systems)
ویرایش: [1 ed.]
نویسندگان: Cindy Eisner. Dana Fisman
سری:
ISBN (شابک) : 9780387353135, 0387353135
ناشر: Springer
سال نشر: 2006
تعداد صفحات: 246
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 Mb
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب A Practical Introduction to PSL (Series on Integrated Circuits and Systems) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای عملی بر PSL (سری مدارها و سیستم های مجتمع) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ای عملی بر PSL (سری مدارها و سیستم های مجتمع)
این کتاب زبان خصوصیات PSL را توصیف می کند که اخیراً به عنوان استاندارد IEEE 1850-2005 استاندارد شده است. PSL برای برآوردن شرایط زیر توسعه داده شد: یادگیری، نوشتن و خواندن آسان. نحو مختصر؛ معناشناسی رسمی کاملاً تعریف شده؛ قدرت بیان، اجازه مشخصات برای کلاس بزرگی از ویژگی های طراحی دنیای واقعی را می دهد. الگوریتم های کارآمد اساسی شناخته شده در شبیه سازی، و همچنین تایید رسمی. ویژگی های اساسی و همچنین موضوعات پیشرفته ای مانند استفاده از PSL در طراحی های چند ساعته پوشش داده شده است. یک فصل کامل به اشتباهات رایج اختصاص یافته است که از طریق تجربه چندین ساله نویسندگان در استفاده و آموزش زبان جمع آوری شده است.
توضیحاتی درمورد کتاب به خارجی
This book describes the Property Specification Language PSL, recently standardized as IEEE Standard 1850-2005. PSL was developed to fulfill the following requirements: easy to learn, write, and read; concise syntax; rigorously well-defined formal semantics; expressive power, permitting the specification for a large class of real world design properties; known efficient underlying algorithms in simulation, as well as formal verification. Basic features are covered, as well as advanced topics such as the use of PSL in multiply-clocked designs. A full chapter is devoted to common errors, gathered through the authors' many years of experience in using and teaching the language.
