دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April 1997, Toledo, Spain
دانلود کتاب زبانهای توصیف سخت افزار و برنامه های کاربردی آنها: مشخصات ، مدل سازی ، تأیید و سنتز سیستم های میکروالکترونیکی IFIP TC10 WG10.5 کنفرانس بین المللی زبانهای توصیف سخت افزار رایانه و برنامه های آنها ، 20-25 آوریل 1997 ، تولدو ، اسپانیا
مشخصات کتاب
Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April 1997, Toledo, Spain
ویرایش: 1 نویسندگان: Gerard Berry (auth.), Carlos Delgado Kloos, Eduard Cerny (eds.) سری: IFIP — The International Federation for Information Processing ISBN (شابک) : 9781475753875, 9780387350646 ناشر: Springer US سال نشر: 1997 تعداد صفحات: 349 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب زبانهای توصیف سخت افزار و برنامه های کاربردی آنها: مشخصات ، مدل سازی ، تأیید و سنتز سیستم های میکروالکترونیکی IFIP TC10 WG10.5 کنفرانس بین المللی زبانهای توصیف سخت افزار رایانه و برنامه های آنها ، 20-25 آوریل 1997 ، تولدو ، اسپانیا: زبان های برنامه نویسی، کامپایلرها، مترجمان، تولید، ماشین ها، ابزارها
در صورت تبدیل فایل کتاب Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April 1997, Toledo, Spain به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانهای توصیف سخت افزار و برنامه های کاربردی آنها: مشخصات ، مدل سازی ، تأیید و سنتز سیستم های میکروالکترونیکی IFIP TC10 WG10.5 کنفرانس بین المللی زبانهای توصیف سخت افزار رایانه و برنامه های آنها ، 20-25 آوریل 1997 ، تولدو ، اسپانیا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانهای توصیف سخت افزار و برنامه های کاربردی آنها: مشخصات ، مدل سازی ، تأیید و سنتز سیستم های میکروالکترونیکی IFIP TC10 WG10.5 کنفرانس بین المللی زبانهای توصیف سخت افزار رایانه و برنامه های آنها ، 20-25 آوریل 1997 ، تولدو ، اسپانیا
در چند دهه گذشته، زبانهای توصیف سخت‌افزار رایانه (CHDL) به دلیل تعدادی از عوامل، از جمله پیچیدگی پیشرفته الکترونیک دیجیتال، شیوع روزافزون اجزای عمومی و قابل برنامه‌ریزی نرم‌افزار-سخت‌افزار، به سرعت در حال گسترش بوده است. مهاجرت طراحی VLSI به سنتز سطح بالا بر اساس HDL. در حال حاضر موضوع به مرحله تثبیت رسیده است که در آن زبان ها و استانداردها به طور فزاینده ای مورد استفاده قرار می گیرند، همزمان با گسترش دامنه به حوزه های کاربردی دیگر. این کتاب آخرین پیشرفت‌ها در این زمینه را ارائه می‌کند و انجمنی را فراهم می‌کند که خوانندگان می‌توانند از گذشته یاد بگیرند و مشتاقانه منتظر آینده باشند.
توضیحاتی درمورد کتاب به خارجی
In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.
فهرست مطالب
Front Matter....Pages i-x
Front Matter....Pages 1-1
Synchronous Languages for Hardware and Software Reactive Systems....Pages 3-3
Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets....Pages 4-23
Front Matter....Pages 25-25
Simplifying Data Operations for Formal Verification....Pages 27-39
CTL and Equivalent Sublanguages of CTL....Pages 40-59
Verifying linear temporal properties of data insensitive controllers using finite instantiations....Pages 60-73
A High-Level Language for Programming Complex Temporal Behaviors and Its Translation into Synchronous Circuits....Pages 74-76
System-Level Hardware Design with µ -Charts....Pages 77-79
Interface Synthesis in Embedded HW/SW Systems....Pages 80-82
TripleS — A Formal Validation Environment for Functional Specifications....Pages 83-85
SOFHIA: A CAD Environment to Design Digital Control Systems....Pages 86-88
Compiling the language Balsa to delay insensitive hardware....Pages 89-91
High-Level Synthesis of Structured Data Paths....Pages 92-94
Front Matter....Pages 95-95
Characterizing a portable subset of behavioral VHDL-93....Pages 97-113
Algebra of Communicating Timing Charts for Describing and Verifying Hardware Interfaces....Pages 114-133
A formal proof of absence of deadlock for any acyclic network of PCI buses....Pages 134-156
Front Matter....Pages 157-157
Behavioural Modelling of Sampled-Data Systems with HDL-A and ABSynth....Pages 159-177
Front Matter....Pages 179-179
Hardware Description Languages in Practical Design Flows....Pages 181-181
VHDL generation from SDL specifications....Pages 182-201
Exploiting Isomorphism for Speeding-Up Instance-Binding in an Integrated Scheduling, Allocation and Assignment Approach to Architectural Synthesis....Pages 202-211
Front Matter....Pages 213-213
Verification of Large Systems in Silicon....Pages 215-239
Front Matter....Pages 213-213
The Shall Design Test Development Model for Hardware Systems....Pages 240-259
Modular Operational Semantic Specification of Transport Triggered Architectures....Pages 260-279
Front Matter....Pages 281-281
The World of I/O: A Rich Application Area for Formal Methods....Pages 283-284
Abstract Modelling of Asynchronous Micropipeline Systems using Rainbow....Pages 285-304
A New Partial Order Reduction Algorithm for Concurrent System Verification....Pages 305-314
Front Matter....Pages 315-315
VHDL Power Simulator: Power Analysis at Gate-Level....Pages 317-333
Object Oriented Extensions to VHDL, The LaMI proposal....Pages 334-347
Back Matter....Pages 348-350
