EENG6730 Formal Testability

Java Python SCHOOL OF ENGINEERING ASSIGNMENT COVER SHEET

Title:                           Formal testability

Module:                      EENG6730 Digital Systems Design

Assessment:              This assignment contributes 6.0% of the module.

Deadline:                   Submission deadline: 12:00 01/11/2024 Week 13

Marked work return date: 22/11/2024 Week 16

Collecting Point:       On line

Intended                    This assignment contributes to the assessment of the EENG6730

Learning                     learning outcomes:

Outcomes:                 8.1  design reliable digital systems using synchronous design techniques

8.2  design digital systems which are easily testable

Feedback                    Feedback will be via: Written comments on work. Further feedback

method:                     will be available on request.

You are reminded of the University rules on Academic Integrity as stated in the student handbook.  Examples of conduct regarded as a breach of these regulations include:

•    Plagiarism: reproducing in any work submitted for assessment or review (for

example, examination answers, essays, project reports, dissertations or theses) any material derived from work authored by another, without clearly acknowledging the source

•    Duplication of Material

•    Conspiring with others to reproduce the work of others without proper

acknowledgement, including knowingly permitting work to be copied by another student

•    Falsification of data/evidence.

Please note that IET accreditation requires that when coursework contributes 30% or more   of a module then credit cannot be obtained if either your coursework or examination scores are more than 10% below the module pass mark.  This is irrespective of your module overall mark.

EENG6730 Formal Testability Assignment

For the circuit shown in Figure 1, develop:

(a)        a binary test to detect the single-stuck condition X/0,                            (4 marks)

(b)        a test program for IC1 to detect the stuck condition

X/0 using serially scanned-in/out test data.                                             (10 marks)

(c)         discuss the test result data and possible faults if it fails this test.        (4 marks)

(d)        comment on what manufacturers could do to implement quality management systems, aiming to redu EENG6730 Formal Testability Assignment ce failure rate and improve testability of electronic products. (2 marks)

The TAP Controller state diagram is supplied in Figure 2. The current state is unknown.

Figure 1 Circuit diagram

The instruction code set for IC1 is shown in the table below.

Instruction

OPCODE

 

MSB

 

LSB

SAMPLE

1

0

1

INTEST

0

1

0

BYPASS

1

1

1

EXTEST

0

1

1

Figure 2 State diagram of the TAP controller

Further information

IC1 is an IEEE1149.1 compatible 8-port boundary scan device, where ports A to D are inputs and ports E to H are the corresponding outputs.  A to H serially follow a path starting at TDI and finishing at TDO. The test procedure should show: the Clock CycleTDITMSTDO, the Current State, the Next State and the current Instruction. Assume IC1 has an identity register but does not have external reset capability (e.g. no TRST)         

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值