Skip to main content
Top

22-07-2024 | Research

Verification and Validation with Prototype Chip Implemented with Layout Level Scan C-Elements

Authors: Hiroshi Iwata, Kokoro Yamasaki, Ken’ichi Yamaguchi

Published in: Journal of Electronic Testing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Establishing a general and high-quality testing method for fabricated asynchronous circuits is crucial for the widespread adoption of asynchronous circuits. A full scan design for asynchronous circuits is imperative to address the major issue of manufacturing reliability. To establish a comprehensive testing workflow for asynchronous circuits, verification and validation are required for evaluating the full scan design must be conducted from gate level to chip level. Therefore, this paper proposes layout level circuits corresponding to transistor level scan elements capable of achieving a full scan design for general asynchronous circuits utilizing the Rohm \(0.18\mathrm {\, [\mu m]}\) process technology. Moreover, a prototype chip fabricated from the taped-out layout level circuits is utilized for verification and validation on both the layout and chip levels. As the verification and validation results at the layout level, the area and delay overhead against the original C-element and the scan C-elements were evaluated. Furthermore, the prototype real chip implementing the proposed scan C-elements was mounted onto a chip tester for dynamic verification by simulation, and the functional delay was measured by observing the signals with an oscilloscope. The usefulness of the proposed scan C-elements in the real chip has shown that it can be utilized as a library to realize a full scan design of asynchronous circuits.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Show more products
Literature
1.
go back to reference Hua W, Lu Y-S, Pingali K, Manohar R (2020) Cyclone: A Static Timing and Power Engine for Asynchronous Circuits. In Proceedings of 26th IEEE International Symposium on Asynchronous Circuits and Systems, pp 11–19 Hua W, Lu Y-S, Pingali K, Manohar R (2020) Cyclone: A Static Timing and Power Engine for Asynchronous Circuits. In Proceedings of 26th IEEE International Symposium on Asynchronous Circuits and Systems, pp 11–19
2.
go back to reference Ataei S, Manohar R (2020) Shared-Staticizer for Area-Efficient Asynchronous Circuits. In Proceedings of 26th IEEE International Symposium on Asynchronous Circuits and Systems, pp 94–101 Ataei S, Manohar R (2020) Shared-Staticizer for Area-Efficient Asynchronous Circuits. In Proceedings of 26th IEEE International Symposium on Asynchronous Circuits and Systems, pp 94–101
3.
go back to reference Sparso J, Furber S (2002) Principles asynchronous circuit design: A Systems Perspective. Kluwer Academic Publishers Sparso J, Furber S (2002) Principles asynchronous circuit design: A Systems Perspective. Kluwer Academic Publishers
4.
go back to reference Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A (1997) Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans Inform Syst E80-D(3):315–325 Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A (1997) Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans Inform Syst E80-D(3):315–325
5.
go back to reference Hulgaard H, Burns SM, Borriello G (1995) Testing asynchronous circuits: A survey. Integr VLSI J 19(3):111–131CrossRef Hulgaard H, Burns SM, Borriello G (1995) Testing asynchronous circuits: A survey. Integr VLSI J 19(3):111–131CrossRef
6.
go back to reference Zeidler S, Krstic M (2015) A survey about testing asynchronous circuits. In Proceedings of European Conference on Circuit Theory and Design (ECCTD), pp 1–4 Zeidler S, Krstic M (2015) A survey about testing asynchronous circuits. In Proceedings of European Conference on Circuit Theory and Design (ECCTD), pp 1–4
7.
go back to reference Efthymiou A, Bainbridge J, Edwards D (2005) Test pattern generation and partial-scan methodology for an asynchronous SoC interconnect. IEEE Trans Very Large Scale Integr (VLSI) Syst 13(12):1384–1393 Efthymiou A, Bainbridge J, Edwards D (2005) Test pattern generation and partial-scan methodology for an asynchronous SoC interconnect. IEEE Trans Very Large Scale Integr (VLSI) Syst 13(12):1384–1393
8.
go back to reference Ohtake S, Saluja KK (2008) A systematic scan insertion technique for asynchronous on-chip interconnects. Digest of papers of Workshop on Low Power Design Impact on Test and Reliability, pp 12–13 Ohtake S, Saluja KK (2008) A systematic scan insertion technique for asynchronous on-chip interconnects. Digest of papers of Workshop on Low Power Design Impact on Test and Reliability, pp 12–13
9.
go back to reference te Beest F, Peeters A, Van Berkel K, Kerkhoff H (2003) Synchronous Full-Scan for Asynchronous Handshake Circuits. J Electron Test 19(4):397–406CrossRef te Beest F, Peeters A, Van Berkel K, Kerkhoff H (2003) Synchronous Full-Scan for Asynchronous Handshake Circuits. J Electron Test 19(4):397–406CrossRef
10.
go back to reference te Beest F, Peeters A (2005) A multiplexer based test method for self-timed circuits. In Proceedings of the 11th IEEE International Symposium on Asynchronous Circuits and Systems, pp 166-175 te Beest F, Peeters A (2005) A multiplexer based test method for self-timed circuits. In Proceedings of the 11th IEEE International Symposium on Asynchronous Circuits and Systems, pp 166-175
11.
go back to reference Iwata H, Ohtake S, Inoue M, Fujiwara H (2010) Bipartite Full Scan Design: A DFT Method for Asynchronous Circuits. In Proceedings of IEEE 19th Asian Test Symposium (ATS’10), pp 206–211 Iwata H, Ohtake S, Inoue M, Fujiwara H (2010) Bipartite Full Scan Design: A DFT Method for Asynchronous Circuits. In Proceedings of IEEE 19th Asian Test Symposium (ATS’10), pp 206–211
12.
go back to reference Ishizaka M, Yamaguchi K, Iwata H (2019) Race-Free O(n) Scan Path Self-Test for Asynchronous Circuit. IEICE Trans J102-A(6):172–181. In Japanese Ishizaka M, Yamaguchi K, Iwata H (2019) Race-Free O(n) Scan Path Self-Test for Asynchronous Circuit. IEICE Trans J102-A(6):172–181. In Japanese
13.
go back to reference Shintani Y, Yamaguchi K, Iwata H (2020) An Implementation of Functional Speed Ori-ented Transistor-Level Scan C-element. In Proceedings of Workshop on RTL and High Level Testing 2021(TS3-2):1–5 Shintani Y, Yamaguchi K, Iwata H (2020) An Implementation of Functional Speed Ori-ented Transistor-Level Scan C-element. In Proceedings of Workshop on RTL and High Level Testing 2021(TS3-2):1–5
14.
go back to reference Martin AJ (1989) Formal Program Transformations for VLSI Circuit Synthesis. In Formal development programs and proofs. Addison-Wesley Longman Publishing, pp 59–80 Martin AJ (1989) Formal Program Transformations for VLSI Circuit Synthesis. In Formal development programs and proofs. Addison-Wesley Longman Publishing, pp 59–80
16.
go back to reference van Berkel K (1992) Beware the isochronic fork. Integr VLSI J 13(2):103–128CrossRef van Berkel K (1992) Beware the isochronic fork. Integr VLSI J 13(2):103–128CrossRef
Metadata
Title
Verification and Validation with Prototype Chip Implemented with Layout Level Scan C-Elements
Authors
Hiroshi Iwata
Kokoro Yamasaki
Ken’ichi Yamaguchi
Publication date
22-07-2024
Publisher
Springer US
Published in
Journal of Electronic Testing
Print ISSN: 0923-8174
Electronic ISSN: 1573-0727
DOI
https://doi.org/10.1007/s10836-024-06128-4