| ชื่อเรื่อง | : | Automatic test pattern generation for asynchronous circuits |
| นักวิจัย | : | Vasudevan, Dilip Prasad |
| คำค้น | : | ATPG , asynchronous circuits , state transition graph , STG , testing |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | Efthymiou, Aristeidis , Topham, Nigel , Engineering and Physical Sciences Research Council (EPSRC) |
| ปีพิมพ์ | : | 2555 |
| อ้างอิง | : | http://hdl.handle.net/1842/7670 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | D.P.Vasudevan and A.Efthymiou,“ Automatic Test Pattern Generation For Asynchronous Circuits”, SIGDA PhD Forum, 48 th Design Automation Conference (DAC - 2011), San Diego, June 2011. , D.P.Vasudevan and A.Efthymiou, “Partial Scan Test Generation for Asynchronous Circuits Based on Breaking Global Loops”, 20th UK Asynchronous Forum,Manchester, September 2008. , D.P.Vasudevan and A.Efthymiou, "A Partial scan based test generation for asynchronous Circuits", 11th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS’08), 2008 , D.P.Vasudevan, "A Novel method of Test generation for Asynchronous Circuits,", 2nd IEEE International Workshop on Design and Test (IDT’07), 2007 , D.P.Vasudevan and A.Efthymiou, " Comparative Analsysis stuck at test generation in asynchronous circuits” 1st IEEE International Workshop on Design and Test (IDT’06), 2006 |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | The testability of integrated circuits becomes worse with transistor dimensions reaching nanometer scales. Testing, the process of ensuring that circuits are fabricated without defects, becomes inevitably part of the design process; a technique called design for test (DFT). Asynchronous circuits have a number of desirable properties making them suitable for the challenges posed by modern technologies, but are severely limited by the unavailability of EDA tools for DFT and automatic test-pattern generation (ATPG). This thesis is motivated towards developing test generation methodologies for asynchronous circuits. In total four methods were developed which are aimed at two different fault models: stuck-at faults at the basic logic gate level and transistor-level faults. The methods were evaluated using a set of benchmark circuits and compared favorably to previously published work. First, ABALLAST is a partial-scan DFT method adapting the well-known BALLAST technique for asynchronous circuits where balanced structures are used to guide the selection of the state-holding elements that will be scanned. The test inputs are automatically provided by a novel test pattern generator, which uses time frame unrolling to deal with the remaining, non-scanned sequential C-elements. The second method, called AGLOB, uses algorithms from strongly-connected components in graph graph theory as a method for finding the optimal position of breaking the loops in the asynchronous circuit and adding scan registers. The corresponding ATPG method converts cyclic circuits into acyclic for which standard tools can provide test patterns. These patterns are then automatically converted for use in the original cyclic circuits. The third method, ASCP, employs a new cycle enumeration method to find the loops present in a circuit. Enumerated cycles are then processed using an efficient set covering heuristic to select the scan elements for the circuit to be tested.Applying these methods to the benchmark circuits shows an improvement in fault coverage compared to previous work, which, for some circuits, was substantial. As no single method consistently outperforms the others in all benchmarks, they are all valuable as a designer’s suite of tools for testing. Moreover, since they are all scan-based, they are compatible and thus can be simultaneously used in different parts of a larger circuit. In the final method, ATRANTE, the main motivation of developing ATPG is supplemented by transistor level test generation. It is developed for asynchronous circuits designed using a State Transition Graph (STG) as their specification. The transistor-level circuit faults are efficiently mapped onto faults that modify the original STG. For each potential STG fault, the ATPG tool provides a sequence of test vectors that expose the difference in behavior to the output ports. The fault coverage obtained was 52-72 % higher than the coverage obtained using the gate level tests. Overall, four different design for test (DFT) methods for automatic test pattern generation (ATPG) for asynchronous circuits at both gate and transistor level were introduced in this thesis. A circuit extraction method for representing the asynchronous circuits at a higher level of abstraction was also implemented. Developing new methods for the test generation of asynchronous circuits in this thesis facilitates the test generation for asynchronous designs using the CAD tools available for testing the synchronous designs. Lessons learned and the research questions raised due to this work will impact the future work to probe the possibilities of developing robust CAD tools for testing the future asynchronous designs. |
| บรรณานุกรม | : |
Vasudevan, Dilip Prasad . (2555). Automatic test pattern generation for asynchronous circuits.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Vasudevan, Dilip Prasad . 2555. "Automatic test pattern generation for asynchronous circuits".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Vasudevan, Dilip Prasad . "Automatic test pattern generation for asynchronous circuits."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2555. Print. Vasudevan, Dilip Prasad . Automatic test pattern generation for asynchronous circuits. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2555.
|
