دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
دانلود کتاب روشهای رسمی در طراحی به کمک رایانه: دومین کنفرانس بین المللی ، FMCAD 98 Palo Alto ، CA ، USA ، 4 تا 6 نوامبر 1998 مجموعه مقالات
مشخصات کتاب
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.) سری: Lecture Notes in Computer Science 1522 ISBN (شابک) : 3540651918, 9783540651918 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 536 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب روشهای رسمی در طراحی به کمک رایانه: دومین کنفرانس بین المللی ، FMCAD 98 Palo Alto ، CA ، USA ، 4 تا 6 نوامبر 1998 مجموعه مقالات: سخت افزار کامپیوتر، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، سیستم ها و نظریه اطلاعات در مهندسی
در صورت تبدیل فایل کتاب Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی در طراحی به کمک رایانه: دومین کنفرانس بین المللی ، FMCAD 98 Palo Alto ، CA ، USA ، 4 تا 6 نوامبر 1998 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی در طراحی به کمک رایانه: دومین کنفرانس بین المللی ، FMCAD 98 Palo Alto ، CA ، USA ، 4 تا 6 نوامبر 1998 مجموعه مقالات
این کتاب مجموعه مقالات داوری دومین کنفرانس بین‌المللی روشهای
رسمی در طراحی به کمک رایانه، FMCAD '98، برگزار شده در پالو
آلتو، کالیفرنیا، ایالات متحده آمریکا، در نوامبر 1998 است.
27 مقاله کامل اصلاح‌شده ارائه‌شده به دقت بررسی شدند و از مجموع
55 ارسال انتخاب شده است. همچنین شامل چهار مقاله ابزار و چهار
مشارکت دعوت شده است. این مقالات، وضعیت هنر را در روشهای تأیید
رسمی برای مدارها و سیستم‌های دیجیتال، از جمله پردازنده‌ها،
مدارهای سفارشی VLSI، میکروکد و نرم‌افزار واکنشی ارائه می‌کنند.
از نقطه نظر روش شناختی، نمودارهای تصمیم دودویی، بررسی مدل،
استدلال نمادین، شبیه سازی نمادین و روش های انتزاعی پوشش داده
شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Second
International Conference on Formal Methods in Computer-Aided
Design, FMCAD '98, held in Palo Alto, California, USA, in
November 1998.
The 27 revised full papers presented were carefully reviewed
and selected from a total of 55 submissions. Also included are
four tools papers and four invited contributions. The papers
present the state of the art in formal verification methods for
digital circuits and systems, including processors, custom VLSI
circuits, microcode, and reactive software. From the
methodological point of view, binary decision diagrams, model
checking, symbolic reasoning, symbolic simulation, and
abstraction methods are covered.
فهرست مطالب
Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification....Pages 1-1
Reducing Manual Abstraction in Formal Verification of Out- of- Order Execution....Pages 2-17
Bit-Level Abstraction in the Verification of Pipelined Microprocessors by Correspondence Checking....Pages 18-35
Solving Bit-Vector Equations....Pages 36-48
The Formal Design of 1M-Gate ASICs....Pages 49-63
Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations....Pages 64-81
A Tutorial on Stålmarck’s Proof Procedure for Propositional Logic....Pages 82-99
Almana: A BDD Minimization Tool Integrating Heuristic and RewritingMethods....Pages 100-114
Bisimulation Minimization in an Automata-Theoretic Verification Framework....Pages 115-132
Automatic Verification of Mixed-Level Logic Circuits....Pages 133-148
A Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk....Pages 149-166
Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints....Pages 167-184
Using MTBDDs for Composition and Model Checking of Real-Time Systems....Pages 185-202
Formal Methods in CAD from an Industrial Perspective....Pages 203-203
A Methodology for Automated Verification of Synthesized RTL Designs and Its Integration with a High-Level Synthesis Tool....Pages 204-221
Combined Formal Post- and Presynthesis Verification in High Level Synthesis....Pages 222-236
Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem....Pages 237-254
A Performance Study of BDD-Based Model Checking....Pages 255-289
Symbolic Model Checking Visualization....Pages 290-302
Input Elimination and Abstraction in Model Checking....Pages 304-320
Symbolic Simulation of the JEM1 Microprocessor....Pages 321-333
Symbolic Simulation: An ACL2 Approach....Pages 334-350
Verification of Data-Insensitive Circuits: An In-Order-Retirement Case Study....Pages 351-368
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification....Pages 369-386
Formally Verifying Data and Control with Weak Reachability Invariants....Pages 387-402
Generalized Reversible Rules....Pages 403-419
An Assume-Guarantee Rule for Checking Simulation....Pages 421-431
Three Approaches to Hardware Verification: HOL, MDG, and VIS Compared....Pages 433-450
An Instruction Set Process Calculus....Pages 451-468
Techniques for Implicit State Enumeration of EFSMs....Pages 469-481
Model Checking on Product Structures....Pages 483-500
BDDNOW: A Parallel BDD Package....Pages 501-507
Model Checking VHDL with CV....Pages 508-514
Alexandria: A Tool for Hierarchical Verification....Pages 515-522
PV: An Explicit Enumeration Model-Checker....Pages 523-528
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Medical Image Computing and Computer-Assisted Intervention – MICCAI 2004: 7th International Conference, Saint-Malo, France, September 26-29, 2004. Proceedings, Part I
دانلود کتاب E-Government: Towards Electronic Democracy: International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005. Proceedings
دانلود کتاب Methods and Applications of Artificial Intelligence: Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11–12, 2002 Proceedings
دانلود کتاب Mitsubishi Motors Workshop Manual Electrical Wiring FTO 98
دانلود کتاب Provable Security: First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings
دانلود کتاب Advanced processing and manufacturing technologies for structural and multifunctional materials II: a collection of papers presented at the 32nd International Conference on Advanced Ceramics and Composites, January 27-February 1, 2008, Daytona Beach, Florida
دانلود کتاب Human-Computer Interaction with Mobile Devices and Services: 5th International Symposium, Mobile HCI 2003, Udine, Italy, September 2003. Proceedings
دانلود کتاب Data and Applications Security XXI: 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings
دانلود کتاب Multiagent Platforms: First Pacific Rim International Workshop on Multi-Agents, PRIMA’98 Singapore, November 23, 1998 Selected Papers
