Verification and Test

Technical Activity Committee on VERIFICATION AND TEST

TAC Co-Chair:  Magdy S. ABADIR,

Sujit Dey,

As designs get larger every year, the two major problems faced by the semiconductor industry are to ensure that there are no bugs in the design and that the manufactured chips are defect-free. Given the rate of advance of the size, complexity and performance capabilities of integrated circuits, new directions need to be explored to solve problems in verification and test.

Although research in test and verification is exploring new directions which can deal with the complexities of emerging designs, the research communities in these areas have interacted very little. New techniques developed for verification are not applied to test, and sometimes long understood test strategies are not considered for formal verification. The goal of this TAC is to bring together the verification and test communities.

Simulation is the primary means used to validate the correctness of a design today. This should be the first area where the issues in verification and test are considered at the same time. Ultimately, formal verification techniques should be examined by the test community. (Test generation algorithms are beginning to be used to support formal verification).

We hope that this interaction will spur the development of tools for test generation and for formal verification that employ methods that are common to both domains.

One area of activity which will benefit both communities is the development of complex, public-domain benchmark designs. These will serve as a vehicle to spur the development of new techniques which can deal effectively with complexity, and will also serve to compare different techniques for solving various problems in the test and verification areas.

Upcoming conferences and symposia

IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS) 2024

Submission of title, abstract, and author list: 23 February, 2024
Final Paper Submission: 29 February, 2024
Author Notification: 09 April, 2024
Conference Dates: July 3 – 5, 2024

IEEE European Test Symposium (ETS) 2024
Paper registration: December 8, 2023
Paper PDF upload: December 16, 2023
Notification: February 16, 2024
Conference: May 20-24, 2024

IEEE VLSI Test Symposium (VTS) 2024
Paper registration: October 9, 2023
Paper PDF upload: October 15, 2023
Questions to authors: December 9, 2023
Submission of rebuttal: December 14, 2023
Notification: December 23, 2023
Camera-ready upload: February 03, 2024
Conference: April 22-24, 2024