دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings
دانلود کتاب روشهای رسمی در طراحی به کمک رایانه: چهارمین کنفرانس بین المللی ، FMCAD 2002 پورتلند ، OR ، ایالات متحده ، مجموعه مقالات 6 تا 8 نوامبر 2002
مشخصات کتاب
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings
ویرایش: 1 نویسندگان: Thomas F. Melham, Robert B. Jones (auth.), Mark D. Aagaard, John W. O’Leary (eds.) سری: Lecture Notes in Computer Science 2517 ISBN (شابک) : 9783540001164, 3540001166 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 410 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 56,000
کلمات کلیدی مربوط به کتاب روشهای رسمی در طراحی به کمک رایانه: چهارمین کنفرانس بین المللی ، FMCAD 2002 پورتلند ، OR ، ایالات متحده ، مجموعه مقالات 6 تا 8 نوامبر 2002: سخت افزار کامپیوتر، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، مهندسی الکترونیک و کامپیوتر
در صورت تبدیل فایل کتاب Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی در طراحی به کمک رایانه: چهارمین کنفرانس بین المللی ، FMCAD 2002 پورتلند ، OR ، ایالات متحده ، مجموعه مقالات 6 تا 8 نوامبر 2002 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی در طراحی به کمک رایانه: چهارمین کنفرانس بین المللی ، FMCAD 2002 پورتلند ، OR ، ایالات متحده ، مجموعه مقالات 6 تا 8 نوامبر 2002
این جلد شامل مجموعه مقالات چهارمین کنفرانس دوسالانه روشهای F-mal در طراحی به کمک رایانه (FMCAD) است. این کنفرانس به استفاده از روش های ریاضی برای تجزیه و تحلیل ccuit ها و سیستم های سخت افزاری دیجیتال اختصاص دارد. کار گزارش شده در این کتاب استفاده از ریاضیات رسمی و ابزارهای مرتبط برای طراحی و تأیید سیستم های سخت افزاری دیجیتال را توصیف می کند. بررسی عملکردی به یکی از هزینه های اصلی در طراحی مدرن کامپیوتر تبدیل شده است. FMCAD مکانی را برای محققان و دست اندرکاران دانشگاهی و صنعتی فراهم می کند تا ایده ها و تجربیات خود را در مورد استفاده از - مدل سازی و تأیید ریاضی مخفی به اشتراک بگذارند. در طول 20 سال گذشته، این حوزه از تعداد معدودی محقق دانشگاهی به یک جامعه پر جنب و جوش در سراسر جهان از افراد دانشگاهی و صنعتی تبدیل شده است. این جلد شامل 23 مقاله انتخاب شده از 47 مقاله ارسالی است که هر کدام توسط حداقل سه عضو کمیته برنامه بررسی شده است. تاریخچه FMCAD به سال 1984 برمی گردد، زمانی که اولین جلسات در این زمینه به عنوان بخشی از IFIP WG10.2 برگزار شد.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.
فهرست مطالب
Abstraction by Symbolic Indexing Transformations....Pages 1-18
Counter-Example Based Predicate Discovery in Predicate Abstraction....Pages 19-32
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis....Pages 33-51
Simplifying Circuits for Formal Verification Using Parametric Representation....Pages 52-69
Generalized Symbolic Trajectory Evaluation — Abstraction in Action....Pages 70-87
Analysis of Symbolic SCC Hull Algorithms....Pages 88-105
Sharp Disjunctive Decomposition for Language Emptiness Checking....Pages 106-122
Relating Multi-step and Single-Step Microprocessor Correctness Statements....Pages 123-141
Modeling and Verification of Out-of-Order Microprocessors in UCLID....Pages 142-159
On Solving Presburger and Linear Arithmetic with SAT....Pages 160-170
Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods....Pages 171-186
Qubos : Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers....Pages 187-201
Exploiting Transition Locality in the Disk Based Murϕ Verifier....Pages 202-219
Traversal Techniques for Concurrent Systems....Pages 220-237
A Fixpoint Based Encoding for Bounded Model Checking....Pages 238-255
Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths....Pages 256-273
Mechanical Verification of a Square Root Algorithm Using Taylor’s Theorem....Pages 274-291
A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols....Pages 292-309
Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV....Pages 310-323
Functional Design Using Behavioural and Structural Components....Pages 324-341
Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries....Pages 342-359
Input/Output Compatibility of Reactive Systems....Pages 360-377
Smart Play-out of Behavioral Requirements....Pages 378-398
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Thermo-Gas Dynamics of Hydrogen Combustion and Explosion
دانلود کتاب Mechanics, Second Edition
دانلود کتاب Central Africa: The Former British States
دانلود کتاب B0761 Working Party Report on the Life Cycle Costing of Corrosion in the Oil and Gas Industry: A Guideline (EFC 32) (matsci)
