‫ﺑﺎﺳﻤﻪ ﺗﻌﺎﻟﻲ‬
‫اﻣﺘﺤﺎن ﻣﻴﺎنﺗﺮم دوم آزﻣﻮنﭘﺬﻳﺮي‬
‫وﻗﺖ اﻣﺘﺤﺎن‪ 90 :‬دﻗﻴﻘﻪ‬
‫ﻧﻴﻢﺳﺎل اول ‪88-89‬‬
‫داﻧﺸﻜﺪه ﻣﻬﻨﺪﺳﻲ ﻛﺎﻣﭙﻴﻮﺗﺮ‬
‫‪ 4 .1‬ﻧﻤﺮه‪ ‬ﺑﺮاي ﺷﻜﻞ ﻣﻘﺎﺑﻞ‪ ،‬ﻣﻘﺎدﻳﺮ آزﻣﻮنﭘﺬﻳﺮي )ﻗﺎﺑﻠﻴﺖ ﻛﻨﺘﺮل و ﻣﺸﺎﻫﺪه( ﺗﺮﻛﻴﺒﻲ و ﺗﺮﺗﻴﺒﻲ‬
‫‪ SCOAP‬را ﻣﺤﺎﺳﺒﻪ ﻛﻨﻴﺪ‪ .‬ﺗﻮﺟﻪ‪ :‬ﺧﻄﻮط ‪ CK‬و ‘)‪ (RESET‬را ﻓﺮاﻣﻮش ﻧﻜﻨﻴﺪ!‬
‫‪ 4] .2‬ﻧﻤﺮه[ در ﺷﻜﻞ ﻣﻘﺎﺑﻞ‪ ،‬ﺑﺮاي ﻫﺮ ﻳﻚ از دو اﺷﻜﺎل ﺗﻜﻲ ‪ d sa0‬و ‪ m sa0‬ﻓﻘﻂ ﺑﺎ اﺳـﺘﻔﺎده‬
‫از ‪ implication‬ﻛﺪام ﻳﻚ از ﺳـﻴﮕﻨﺎلﻫـﺎ‪ ،‬ﻣﻘـﺪاردﻫﻲ ﻣـﻲﺷـﻮد و ﭼـﻪ ﻧﺘﻴﺠـﻪاي ﺣﺎﺻـﻞ‬
‫ﻣﻲﺷﻮد؟‬
‫‪ .3‬ﻳﻚ ﻣﺪار ﺗﺮﻛﻴﺒﻲ ﺑﺎ ﺗﺎﺑﻊ )‪ z= f(w, x, y‬ﺑﻴﺎن ﺷﺪه و ‪ singular cover‬آن ﺑﻪ ﺻﻮرت زﻳﺮ اﺳﺖ‪:‬‬
‫‪00x/0 0x0/0 x00/0 11x/1 1x1/1 x11/1‬‬
‫اﻟﻒ‪ 1) -‬ﻧﻤﺮه( ﺗﻤﺎم ‪ propagation D-cubes‬ﻛﻪ ﻓﻘﻂ ﻳﻚ ﻣﻘﺪار ‪ D‬در ورودي آﻧﻬﺎ ﻇﺎﻫﺮ ﻣﻲﺷﻮد را ﺑﻨﻮﻳﺴﻴﺪ‪.‬‬
‫ب‪ 1) -‬ﻧﻤﺮه( ﺳﻪ ‪ propagation D-cube‬ﺑﻨﻮﻳﺴﻴﺪ ﻛﻪ در ورودي آﻧﻬﺎ‪ ،‬ﻣﻘﺪار ‪ D‬دو ﺑﺎر ﻇﺎﻫﺮ ﻣﻲﺷﻮد‪.‬‬
‫ج‪ 2) -‬ﻧﻤﺮه( ﻓﺮض ﻛﻨﻴﺪ اﺷﻜﺎﻟﻲ در ﻣﺪار رخ داده ﻛﻪ ﺗﺎﺑﻊ ﺧﺮوﺟﻲ را ﺑﻪ ﺻﻮرت ‪ z=xy‬ﺗﻐﻴﻴﺮ داده اﺳﺖ‪ .‬ﻛﻠﻴﻪ ‪ D cubes of failure‬ﺑﺮاي اﻳﻦ اﺷـﻜﺎل را‬
‫ﺑﻨﻮﻳﺴﻴﺪ‪.‬‬
‫‪ 4] .4‬ﻧﻤﺮه[ ﺑﺮاي ﺷﻜﻞ ﻣﻘﺎﺑﻞ‪ ،‬ﻣﺸﺨﺺ ﻛﻨﻴﺪ ﻛﻪ اﻟﮕﻮرﻳﺘﻢ ﻣﺴـﻴﺮ ﺑﺤﺮاﻧـﻲ )‪(critical path‬‬
‫ﭼﻪ ﺑﺮدارﻫﺎي ﺗﺴﺘﻲ ﭘﻴﺪا ﻣﻲﻛﻨﺪ و ﻫﺮ ﺑﺮدار‪ ،‬ﭼﻪ اﺷﻜﺎلﻫﺎﻳﻲ را ﭘﻴﺪا ﻣﻲﻛﻨـﺪ؟ اﻟﮕـﻮرﻳﺘﻢ ‪D‬‬
‫ﺑﺮاي ﭘﻴﺪا ﻛﺮدن اﺷـﻜﺎل ‪ f sa0‬ﭼـﻪ ﻣﺮاﺣﻠـﻲ را ﻃـﻲ ﻣـﻲﻛﻨـﺪ و ﭼﻨـﺪ ﺑـﺎر ‪backtrack‬‬
‫ﻣﻲﻛﻨﺪ؟‬
‫‪ 2] .5‬ﻧﻤﺮه[ ﺑﺮاي ﭘﻴﺎدهﺳﺎزي ﻳﻚ ﮔﻴﺖ ‪ XOR‬ﺑﺎ ‪ n‬ورودي‪ ،‬ﻣﻲﺗﻮان ‪ n-1‬ﮔﻴﺖ ‪ XOR‬دو ورودي را ﺑﻪ دﻧﺒﺎل ﻫﻢ ﻗﺮار داد ﻛـﻪ ﻫـﺮ ﮔﻴـﺖ‪ ،‬ﻳـﻚ‬
‫ورودي ﺧﻮد را از ﺧﺮوﺟﻲ ﮔﻴﺖ ﻗﺒﻞ و ورودي دﻳﮕﺮ ﺧﻮد را از ﻳﻚ ‪ PI‬ﻣﻲﮔﻴﺮد )ﺑﻪ ﺟﺰ ‪ XOR‬اول‪ ،‬ﻛﻪ ﻫﺮ دو ورودي آن‪ PI ،‬اﺳﺖ(‪ .‬آﻳـﺎ اﻳـﻦ‬
‫ﻣﺪار ‪ C-testable‬اﺳﺖ؟ اﮔﺮ ﺟﻮاب ﻣﺜﺒﺖ اﺳﺖ‪ ،‬ﻣﺪار ﺑﺎ ﭼﻨﺪ ﺑﺮدار ﻗﺎﺑﻞ ﺗﺴﺖ اﺳﺖ؟ اﮔﺮ ﺟﻮاب ﻣﻨﻔﻲ اﺳﺖ‪ ،‬دﻟﻴﻞ آن را ذﻛﺮ ﻛﻨﻴﺪ‪.‬‬
‫‪ 2] .6‬ﻧﻤﺮه[ ﺑﺮاي ﺷﻜﻞ ﻣﻘﺎﺑﻞ‪ ،‬ﺑﺎ روش ﻣﺸﺘﻖ ﺑـﻮﻟﻲ )‪ (Boolean Difference‬ﺑﺮدارﻫـﺎي‬
‫ﺗﺴﺘﻲ ﻛﻪ اﺷﻜﺎل ‪ β s-a-0‬را ﻛﺸﻒ ﻣﻲﻛﻨﺪ ﭘﻴﺪا ﻛﻨﻴﺪ‪.‬‬