We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.OC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Optimization and Control

Title: How To Catch A Lion In The Desert -- On The Solution Of The Coverage Directed Generation (CDG) Problem

Abstract: The testing and verification of a complex hardware or software system, such as modern integrated circuits (ICs) found in everything from smartphones to servers, can be a difficult process. One of the most difficult and time-consuming tasks a verification team faces is reaching coverage closure, or hitting all events in the coverage space. Coverage-directed-generation (CDG), or the automatic generation of tests that can hit hard-to-hit coverage events, and thus provide coverage closure, holds the potential to save verification teams significant simulation resources and time. In this paper, we propose a new approach to the CDG problem by formulating the CDG problem as a noisy derivative free optimization (DFO) problem. However, this formulation is complicated by the fact that derivatives of the objective function are unavailable, and the objective function evaluations are corrupted by noise. We solve this noisy optimization problem by utilizing techniques from direct optimization coupled with a robust noise estimator, and by leveraging techniques from inverse problems to estimate the gradient of the noisy objective function. We demonstrate the efficiency and reliability of this new approach through numerical experiments with an abstract model of part of IBM's NorthStar processor, a superscalar in-order processor designed for servers.
Comments: 23 pages, 5 figures
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
DOI: 10.1007/s11081-020-09507-w
Cite as: arXiv:1910.00170 [math.OC]
  (or arXiv:1910.00170v1 [math.OC] for this version)

Submission history

From: Brian Irwin [view email]
[v1] Tue, 1 Oct 2019 01:36:26 GMT (1172kb,D)

Link back to: arXiv, form interface, contact.