Mutation-based diagnostic test generation for hardware design error diagnosis

Digital Radio Mondiale (DRM)-based HF passive bistatic radar has massive potential for surveillance purposes. Progress about DRM based passive bistatic radar is described.Several key problems need to be overcome for the base-band signal processing, including the vice-peaks suppression of DRM signal ambiguity function, the rejection of direct-path and multipath clutter in the surveillance channel and the extraction of the reference signal in the reference channel. Relative solutions of these problems will be presented. In addition, some results based on simulation data are shown in this paper.

show abstract

Assessment of diagnostic test for automated bug localization

Tihhomirov

Tsepurov

Jenihhin

et al. 2013

2013 14th Latin American Test Workshop - LATW

View full text Add to dashboard Cite

Statistical simulation based design error debug approaches strongly rely on quality of the diagnostic test. At the same time there exists no dedicated technique to perform its quality assessment and engineers are forced to rely on subjective figures such as verification test quality metrics or just the size of the diagnostic test. This paper has proposed two new approaches for assessing diagnostic capability of diagnostic tests for automated bug localization. The first approach relies on probabilistic simulation of diagnostic experiments. The second assessment method is based on calculating Hamming distances of the individual sub-tests in the diagnostic test set. The methods are computationally cheap and they provide for a measure of confidence in the localization results and allow estimating impact of the diagnostic test enhancement. The approach is implemented as a part of an open-source hardware design and debugging framework zamiaCAD. Experimental results with an industrial processor design and a set of documented bugs demonstrate feasibility and effectiveness of the proposed approach.

show abstract

Mutation-based diagnostic test generation for hardware design error diagnosis

Cited by 4 publications

References 0 publications

Diagnostic Test Generation for Statistical Bug Localization Using Evolutionary Computation

Diagnostic Test Generation for Statistical Bug Localization Using Evolutionary Computation

HF passive bistatic radar based on DRM illuminators

Assessment of diagnostic test for automated bug localization

Contact Info

Product

Resources

About