دانلود کتاب Logically Determined Design: Clockless System Design with NULL Convention Logic (به فارسی: طراحی منطقی تعیین شده: طراحی سیستم بدون ساعت با منطق قراردادی NULL) نوشته شده توسط «Karl Fant»
اطلاعات کتاب طراحی منطقی تعیین شده: طراحی سیستم بدون ساعت با منطق قراردادی NULL
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Wiley-Interscience
نویسنده: Karl Fant
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 310
حجم کتاب: 7 مگابایت
کد کتاب: 0471684783 , 9780471684787 , 9780471702870
نوبت چاپ: 1
توضیحات کتاب طراحی منطقی تعیین شده: طراحی سیستم بدون ساعت با منطق قراردادی NULL
من این کتاب اخیراً منتشر شده را کاملاً جذاب یافتم. مقدر است که اساس طراحی سیستم های دیجیتال و به طور بالقوه اساس برنامه نویسی و مهندسی نرم افزار را نیز تغییر دهد. نویسنده آن، کارل فانت، مدیر تحقیقات تسئوس http://www.theseusresearch.com/ و بنیانگذار شرکت اسپین آف تسئوس لاجیک http://www.theseus.com/ است.
او دارای 29 حق ثبت اختراع در جنبه های مختلف طراحی دیجیتال است و بدون شک یکی از عمیق ترین متفکران در زمینه مبانی طراحی دیجیتال و علوم کامپیوتر است. در وب سایت او تعدادی مقاله وجود دارد که اساس علم کامپیوتر را به چالش می کشد http://www.theseusresearch.com/invocation model.htm
او بسیاری از حقایق «بدیهی» پذیرفته شده را به چالش می کشد. به گفته کارل:
* “منطق بولی” به طور آشکار به عنوان مبنای طراحی مدار ناقص است زیرا به ابزار دیگری برای بیان روابط زمان بندی مورد نیاز برای تضمین نتایج محاسباتی صحیح نیاز دارد. او منطق بولی را با منطق 2 حالته Null Convention (2NCL) با نتایج شگفت انگیز جایگزین کرد.
* Concurrency ابتدایی ترین و عمومی ترین مدل محاسبات با پردازش متوالی به عنوان یک مورد خاص است.
* علوم کامپیوتر به عنوان علم و نظریه بیان فرآیندها به جای علم الگوریتم ها.
* جایگزینی مفهوم متغیر و در نتیجه حذف تعداد زیادی از مشکلات منطقی و بیانی.
این کار فوق العاده کاربردی است. یک روش کامل منطقی و بیانی برای طراحی مدارهای ناهمزمان باید منجر به مدارها و تراشه هایی شود که سریعتر باشند. مصرف برق کمتر؛ استفاده بهتر از املاک و مستغلات روی تراشه. و تداخل رادیویی کمتری تولید می کند.
پتانسیل تعیین نرم افزار به طور کامل بدون نیاز به پرداختن جداگانه به مسائل زمان بندی در واقع بسیار هیجان انگیز است.
در 40 سال گذشته، اکثر رایانه ها و دستگاه های مبتنی بر رایانه به عنوان دستگاه های ساعت محور یا همزمان طراحی شده اند. همیشه اینطور نبود. کامپیوترهای اولیه مانند ENIAC و UNIVAC ناهمزمان بودند، عمدتاً به این دلیل که همزمانی کلاک هنوز به طور کامل مشخص نشده بود.
در اوایل دهه 50 و 60 چندین پروژه تحقیقاتی مبتنی بر دانشگاه برای توسعه معماری‌های صریح وجود داشت، از جمله پروژه MU5 دانشگاه منچستر (بریتانیا) (www.computer50.org/kgill/mu5/mu5.html) و دانشگاه ایلینویز ILLIAC I. و سری کامپیوتر ILLIAC II (به کتاب “طراحی سیستم ناهمزمان توسط Chris J Myers 2001, John Wiley and Sons, Inc و http://www.async.ece.utah.edu/ مراجعه کنید). یکی از آخرین ابزارهای تجاری کاملاً ناهمزمان کامپیوترها اولین PDP-10 (تجهیزات دیجیتال)، KA 10 بود که توسط تیمی به رهبری آلن کوتوک طراحی شد.
در حال حاضر تعدادی پروژه تحقیقاتی طراحی ناهمزمان در دانشگاه ها و صنعت وجود دارد. ایوان ساترلند و جو ابرگن از SUN تعداد زیادی از کارهای جاری را در Computers Without Clocks، Scientific American، 15 ژوئیه 2002 خلاصه کردند.
کاری که آقای فانت انجام داده است و منحصر به فرد است، ارائه یک نظریه منطقی جهانی است که برای اولین بار همه موارد خاص شناخته شده و بسیاری موارد دیگر را در بر می گیرد.
He holds 29 patents in various aspects of digital design and is, without doubt, one of the most profound thinkers on the fundamentals of digital design and computer science. On his website there are a number of papers challenging the very basis of computer science http://www.theseusresearch.com/invocation model.htm
He challenges many accepted “obvious” truths. According to Karl:
* “Boolean logic” is expressively incomplete as the basis for circuit design as it requires some other means for expressing the timing relationships needed to guarantee correct computing results. He replaces Boolean logic with his 2 state Null Convention Logic (2NCL) with amazing results.
* Concurrency is the most basic and most general model of computing, with sequential processing as a special case.
* Computer science as the science and theory of process expression rather than the science of algorithms.
* Replacing the notion of variable and thereby eliminating a large number of logical and expressive problems.
This work is immensely practical. A logically and expressively complete method for designing asynchronous circuits should result in circuits and chips that are faster; consume less power; make better use of use on-chip real estate; and produce less radio interference.
The potential to specify software fully without the need to deal separately with timing issues is very exciting indeed.
For the past 40 odd years most computers and computer-based devices have been designed as clock-driven or synchronous devices. This was not always so. The early computers such as the ENIAC and UNIVAC were asynchronous, largely because clocked synchronicity had not yet been fully figured out.
In the early 50s and 60s there were several University-based research projects to develop explicitly architectures including the University of Manchester (UK) MU5 project (www.computer50.org/kgill/mu5/mu5.html) and the University of Illinois ILLIAC I and ILLIAC II computer series (See the book “Asynchronous System Design by Chris J Myers 2001, John Wiley and Sons, Inc and http://www.async.ece.utah.edu/). One of the last commercially viable fully asynchronous computers was the first PDP-10 (Digital Equipment), the KA 10 designed by a team led by Alan Kotok.
There are currently a number of asynchronous design research projects in Universities and industry. Ivan Sutherland and Jo Ebergen of SUN summarised a lot of the current work in Computers Without Clocks, Scientific American, 15 July 2002.
What Mr. Fant has done that is unique is provide a solid universal logical theory that, for the first time encompasses all of the known special cases and much more besides.
دانلود کتاب «طراحی منطقی تعیین شده: طراحی سیستم بدون ساعت با منطق قراردادی NULL»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.