تالار گفتمان مانشت
سوال از اثبات برابری فرمول های OverFlow در جزوه معماری - نسخه‌ی قابل چاپ

سوال از اثبات برابری فرمول های OverFlow در جزوه معماری - fa_karoon - 09 آبان ۱۳۹۲ ۱۱:۵۸ ب.ظ

سلام دوستان
می شه لطف کنید نحوه اثبات برابری این سه تا فرمول رو بیان کنید.
[tex]V=\bar{a_{n-1}}\bar{b_{n-1}}S_{n-1} a_{n-1}b_{n-1}\bar{S_{n-1}}[/tex]
[tex]V=C_{n}\oplus C_{n-1}[/tex]
[tex]V=\bar{a_{n-1}}\bar{b_{n-1}}C_{n-1} a_{n-1}b_{n-1}\bar{C_{n-1}}[/tex]

RE: سوال از اثبات برابری فرمول های OverFlow در جزوه معماری - black_knight - 10 آبان ۱۳۹۲ ۱۲:۴۴ ق.ظ

سلام
باید تحلیل کنی
اول این که تو سیستم مکمل۲ دو روش برای مشخص کردن سرریز داریم
۱-اگه حمع ۲ تا عدد منفی مثبت شه یا جمع ۲تا عدد مثبت منفی شه اگه اعداد به فرم [tex]a_{n-1}a_{n-2}...a_{1}a_{0}[/tex] نمایش بدیم.در سیستم مکمل دو بیت msb نمایش دهنده علامت
پس فرمول [tex]V=\overline{a_{n-1}}\overline{b_{n-1}}s_{n-1}+a_{n-1}b_{n-1}\overline{s_{n-1}}[/tex] می تونه سرریز و معلوم کنه
۲-روش دیگه تو این سیستم رقم نقلی ورودی و خروجی به بیت msb رو چک کنیم اگه برابر بود که سرریزنداریم در غیراین صورت یس!
که اینم میشه با فرمول [tex]V=c_{n}\oplus c_{n-1}[/tex] مشخص کرد.
و تو سیستم علامت مقدارهم اگه علامت اعداد یکی باشه کری تولید شه نشون دهنده سرریزه که فرمول سومی معرف این حالته

RE: سوال از اثبات برابری فرمول های OverFlow در جزوه معماری - kashti - 10 آبان ۱۳۹۲ ۰۱:۱۰ ب.ظ

(۱۰ آبان ۱۳۹۲ ۱۲:۴۴ ق.ظ)black_knight نوشته شده توسط:  سلام
باید تحلیل کنی
اول این که تو سیستم مکمل۲ دو روش برای مشخص کردن سرریز داریم
۱-اگه حمع ۲ تا عدد منفی مثبت شه یا جمع ۲تا عدد مثبت منفی شه اگه اعداد به فرم [tex]a_{n-1}a_{n-2}...a_{1}a_{0}[/tex] نمایش بدیم.در سیستم مکمل دو بیت msb نمایش دهنده علامت
پس فرمول [tex]V=\overline{a_{n-1}}\overline{b_{n-1}}s_{n-1}+a_{n-1}b_{n-1}\overline{s_{n-1}}[/tex] می تونه سرریز و معلوم کنه
۲-روش دیگه تو این سیستم رقم نقلی ورودی و خروجی به بیت msb رو چک کنیم اگه برابر بود که سرریزنداریم در غیراین صورت یس!
که اینم میشه با فرمول [tex]V=c_{n}\oplus c_{n-1}[/tex] مشخص کرد.
و تو سیستم علامت مقدارهم اگه علامت اعداد یکی باشه کری تولید شه نشون دهنده سرریزه که فرمول سومی معرف این حالته

ممنون از جوابتون.
یک سوال داشتم برای مکمل یک بحث سرریز مطرح نمیشه؟؟؟
.

RE: سوال از اثبات برابری فرمول های OverFlow در جزوه معماری - black_knight - 10 آبان ۱۳۹۲ ۰۲:۵۲ ب.ظ

(۱۰ آبان ۱۳۹۲ ۰۱:۱۰ ب.ظ)kashti نوشته شده توسط:  
(10 آبان ۱۳۹۲ ۱۲:۴۴ ق.ظ)black_knight نوشته شده توسط:  سلام
باید تحلیل کنی
اول این که تو سیستم مکمل۲ دو روش برای مشخص کردن سرریز داریم
۱-اگه حمع ۲ تا عدد منفی مثبت شه یا جمع ۲تا عدد مثبت منفی شه اگه اعداد به فرم [tex]a_{n-1}a_{n-2}...a_{1}a_{0}[/tex] نمایش بدیم.در سیستم مکمل دو بیت msb نمایش دهنده علامت
پس فرمول [tex]V=\overline{a_{n-1}}\overline{b_{n-1}}s_{n-1}+a_{n-1}b_{n-1}\overline{s_{n-1}}[/tex] می تونه سرریز و معلوم کنه
۲-روش دیگه تو این سیستم رقم نقلی ورودی و خروجی به بیت msb رو چک کنیم اگه برابر بود که سرریزنداریم در غیراین صورت یس!
که اینم میشه با فرمول [tex]V=c_{n}\oplus c_{n-1}[/tex] مشخص کرد.
و تو سیستم علامت مقدارهم اگه علامت اعداد یکی باشه کری تولید شه نشون دهنده سرریزه که فرمول سومی معرف این حالته

ممنون از جوابتون.
یک سوال داشتم برای مکمل یک بحث سرریز مطرح نمیشه؟؟؟
.
چرا توی سیستم مکمل ۱هم هر وقت بیت پر ارزش کری داشته باشه سرریز داریم
فکر کنم این فایل بتونه کمکتون کنه