‫داﻧﺸﻜﺪه ﻣﻬﻨﺪﺳﻲ ﻛﺎﻣﭙﻴﻮﺗﺮ‬
‫ﺑﺎﺳﻤﻪ ﺗﻌﺎﻟﻲ‬
‫اﻣﺘﺤﺎن ﻣﻴﺎنﺗﺮم آزﻣﻮنﭘﺬﻳﺮي‬
‫وﻗﺖ اﻣﺘﺤﺎن‪ 80 :‬دﻗﻴﻘﻪ‬
‫ﻧﻴﻢﺳﺎل اول ‪88-89‬‬
‫________________________________________________________________________‬
‫‪.1‬‬
‫اﻟﻒ )‪ 2‬ﻧﻤﺮه( در ﺷﻜﻞ ﻣﻘﺎﺑﻞ‪ ،‬آﻳﺎ راﺑﻄﻪاي )ﻣﻌﺎدل ﺑـﻮدن ﻳـﺎ ﻏﻠﺒـﻪ اﺷـﻜﺎل( ﺑـﻴﻦ دو‬
‫اﺷﻜﺎل ‪ A2/1‬و ‪ B2/1‬وﺟﻮد دارد؟ ﭼﺮا؟ )‪ A2/1‬ﻳﻌﻨﻲ ‪.(A2 stuck-at-one‬‬
‫ب )‪ 2‬ﻧﻤﺮه( ﺑﺎ اﺳﺘﻔﺎده از رواﺑﻂ ﻣﻌﺎدل ﺑﻮدن اﺷﻜﺎلﻫﺎ‪ ،‬ﻟﻴﺴﺖ ﻛﻠﻴﻪ اﺷـﻜﺎلﻫـﺎي ﺗﻜـﻲ را‬
‫ﻛﻪ ﺑﺮاي ﺗﻮﻟﻴﺪ ﺑﺮدار آزﻣﻮن ﺑﺮاي اﻳﻦ ﻣﺪار ﻻزم دارﻳﻢ ﺑﻪ دﺳﺖ آورﻳﺪ )‪.(equivalence collapsed set‬‬
‫ج )‪ 2‬ﻧﻤﺮه( ﻣﺠﻤﻮﻋﻪ ﺣﺪاﻗﻞ ﺑﺮدارﻫﺎي ﺗﺴﺖ ﺑﺮاي ﻛﺸﻒ ﺗﻤﺎم اﺷﻜﺎلﻫﺎ را ﺑﻪ دﺳﺖ آورﻳﺪ‪.‬‬
‫________________________________________________________________________‬
‫‪ .2‬ﺑﺮاي ﺷﻜﻞ ﻣﻘﺎﺑﻞ‪:‬‬
‫اﻟﻒ‪ 3) -‬ﻧﻤﺮه( ﺗﺴﺖ ﺟﺎﻣﻊ و ﺷﺒﻪ ﺟﺎﻣﻊ )‪ (pseudo-exhaustive‬ﺑﻪ ﭼﻨﺪ ﺑﺮدار ﺗﺴﺖ ﻧﻴـﺎز‬
‫دارد؟ ﺗﺴﺖ ﺷﺒﻪ ﺟﺎﻣﻊ آن اﺳﺖ ﻛﻪ ﺗﻚ ﺗﻚ ﺧﺮوﺟﻲﻫﺎي ﻣﺪار ﺑﻪ ﻃﻮر ﺟﺎﻣﻊ ﺗﺴﺖ ﺷﻮﻧﺪ‪.‬‬
‫ب‪ 4) -‬ﻧﻤﺮه( ﻓﺮض ﻛﻨﻴﺪ ﻣﻲﺧﻮاﻫﻴﻢ ﻫﺮ ﭼﻬﺎر ‪ sub-circuit‬ﻣﺪار )داﺧﻞ ﺧﻂ ﭼﻴﻦ( را ﻃﻮري‬
‫ﺗﺴﺖ ﻛﻨﻴﻢ ﻛﻪ ﺗﻤﺎم وروديﻫﺎي ﻣﻤﻜﻦ آن ‪ sub-circuit‬ﺑﻪ آن ا‪‬ﻋﻤﺎل ﺷﻮد )اﻳـﻦ روش ‪ cell-fault model‬ﻧـﺎم دارد(‪ .‬ﻛﻤﺘـﺮﻳﻦ ﺗﻌـﺪاد ﺑـﺮدار‬
‫ﺗﺴﺖ ﺑﺮاي اﻳﻦ ﻣﻨﻈﻮر را ﺑﻪ دﺳﺖ آورﻳﺪ و ﺑﺮدارﻫﺎ را ﺑﻨﻮﻳﺴﻴﺪ‪.‬‬
‫________________________________________________________________________‬
‫‪ 3) .3‬ﻧﻤﺮه( ﺑﻪ ﻓﺮض ﺳﺎﻟﻢ ﺑﻮدن ﺧـﻂ ‪ ،CK‬ﺑـﺎ ذﻛـﺮ دﻟﻴـﻞ ﺑﻴـﺎن ﻛﻨﻴـﺪ آﻳـﺎ ﻫـﻴﺞ اﺷـﻜﺎل‬
‫ﭼﺴــﺒﻴﺪﮔﻲ ﺗﻜــﻲ )‪ (SSF‬در اﻳــﻦ ﻣــﺪار وﺟــﻮد دارد ﻛــﻪ ﻣــﺎﻧﻊ از ﻣﻘــﺪاردﻫﻲ اوﻟﻴــﻪ‬
‫)‪ (initialization‬ﺧﺮوﺟﻲ ﮔﺮدد؟‬
‫________________________________________________________________________‬
‫‪ 4) .٤‬ﻧﻤــﺮه( در ﻣــﺪار ﻣﻘﺎﺑــﻞ‪ ،‬ﺑــﺮاي ورودي ‪ abc = 111‬ﺷــﺒﻴﻪﺳــﺎزي‬
‫اﺳﺘﻨﺘﺎﺟﻲ را ﺑﺮاي ﻟﻴﺴﺖ اﺷﻜﺎل زﻳﺮ اﻧﺠﺎم دﻫﻴﺪ‪:‬‬
‫}‪{a/0, a/1, b/0, b/1, c/0, c/1, d/1, e/1, h/1, k/1, p/1, m/0, n/0, q/1‬‬