Generation of Test Vectors for Sequential Cell Verification
Conference paper
Bhowmick, S., Bhattacherjee, S., Nandakumar, G. N. and Patel, N. 2008. Generation of Test Vectors for Sequential Cell Verification. ARM Regional Engineering Conference. Bengaluru 2008 ARM.
Authors | Bhowmick, S., Bhattacherjee, S., Nandakumar, G. N. and Patel, N. |
---|---|
Type | Conference paper |
Abstract | For Application Specific Integrated Circuits (ASIC) and System-on-Chip (SOC) designs, Cell - Based Design (CBD) is the most prevalent practice as it guarantees a shorter design cycle, minimizes errors and is easier to maintain. In modern ASIC design, standard cell methodology is practiced with sizable libraries of cells, each containing multiple implementations of the same logic functionality, in order to give the designer differing options based on area, speed or power consumption. For such library cells, thorough verification of functionality and timing is crucial for the overall success of the chip, as even a small error can prove fatal due to the repeated use of the cell in the design. Both formal and simulation based methods are being used in the industry for cell verification. We propose a method using the latter approach that generates an optimized set of test vectors for verification of sequential cells, which are guaranteed to give complete Single Input Change transition coverage with minimal redundancy. Knowledge of the cell functionality by means of the State Table is the only prerequisite of this procedure. |
Year | 2008 |
Conference | ARM Regional Engineering Conference |
Publisher | ARM |
Accepted author manuscript | License File Access Level Anyone |
Publication dates | |
2008 | |
Publication process dates | |
Accepted | 01 Nov 2008 |
Deposited | 15 Feb 2022 |
Copyright holder | © 2008 The Author |
Copyright information | All Rights Reserved |
https://repository.uel.ac.uk/item/86y89
Download files
85
total views27
total downloads1
views this month0
downloads this month