Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Depth-Driven Verification of Simultaneous Interfaces Ilya Wagner Valeria Bertacco Todd Austin
 

Summary: Depth-Driven Verification of Simultaneous Interfaces
Ilya Wagner Valeria Bertacco Todd Austin
Advanced Computer Architecture Lab
University of Michigan
Ann-Arbor, MI 48109
e-mail: {iwagner, valeria, austin}@umich.edu
Abstract-- The verification of modern computing systems has
grown to dominate the cost of system design, often with limited
success as designs continue to be released with latent bugs. This
trend is accelerated with the advent of highly integrated system-
on-a-chip (SoC) designs, which feature multiple complex subcom-
ponents connected by simultaneously active interfaces.
In this paper, we introduce a closed-loop feedback technique
targeting the verification of multiple components connected by
parallel interfaces. We utilize an environment with hierarchical
Markov models, where top-level submodels specify overarching
simulation goals of the system, while lower-level submodels spec-
ify the detailed component-level input generation. Test accuracy
is improved through the use of depth-driven random test gener-
ation. The approach allows users to specify correctness proper-

  

Source: Austin, Todd M. - Department of Electrical Engineering and Computer Science, University of Michigan
Bertacco, Valeria - Department of Electrical Engineering and Computer Science, University of Michigan

 

Collections: Computer Technologies and Information Sciences; Engineering