NDLI: Coverage-directed stimulus generation using a genetic algorithm

Content Provider	IEEE Xplore Digital Library
Author	Wang Jiawen Liu Zhigui Wang Suliang Liu Yang Li Yufei Yang Hao
Copyright Year	2013
Description	Author affiliation: China Design Center, IBM Syst. & Technol. Group, Shanghai, China (Wang Jiawen; Liu Zhigui; Wang Suliang; Liu Yang; Li Yufei; Yang Hao)
Abstract	With the evolution of modern verification methodologies, system-level verification using constrained-random stimulus is a high priority, especially in very large communication applications. A key goal to address is providing fast, effective test coverage. In this paper, we propose a novel method to achieve this goal using a genetic algorithm. First, we present background information about coverage-driven verification methodology, as well as the basic concept and process of the genetic algorithm. Next, we discuss the details of the novel method for integrating this algorithm into a practical verification process. Thereafter, we introduce a simple simulation platform coded in C for benchmarking the proposed method, and present results which illustrate a sharp reduction in the times to complete all coverage bins compared to the traditional test coverage method. Finally, we use a peripheral component interconnect express (PCIE) system as a case study to show the effectiveness of the proposed method in a real application.
Sponsorship	IEEE Circuits Syst. Soc.
Starting Page	298
Ending Page	301
File Size	238001
Page Count	4
File Format	PDF
ISBN	9781479911424
DOI	10.1109/ISOCC.2013.6864032
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-11-17
Publisher Place	South Korea
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Sociology Coverage-Driven Verification Methodology Genetic Algorithm Constrained Random Stimulus System-on-chip Statistics Biological cells Standards Genetic algorithms
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in