Test generation for hardware-software covalidation using non-linear programming

@inproceedings{Xin2002TestGF,
  title={Test generation for hardware-software covalidation using non-linear programming},
  author={Fei Xin and Ian G. Harris},
  booktitle={HLDVT},
  year={2002}
}
Hardware-softwarecovalidation involvesthecosimulationof a system descriptionwith a functional test sequenc e. Functionaltest generationis heavily dependent on manualinteraction,making it a time-consuming and expensi ve process. We presentan automatictestgenerationtechnique to detectdesignerrorsin hardwaresoftwaresystems.Thedesignerrorstargetedarethosecausedby incorrectsynchronizationbetweenconcurrent tasks/processes whose detectionis dependenton event timing. We… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
3 Citations
14 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 14 references

A validation faultmodel for timinginducedfunctionalerrors

  • Q. ZhangandI. G. Harris
  • International Test Conference , October
  • 2001

Deductive verification of real-timesystemsusing step,

  • N. Bjormer, MannaZ, B. SiopmaH, T E.Uribe
  • Theoretical ComputerScience,
  • 2001
1 Excerpt

Automatictestbenchgeneration for validation of RT-level descriptions: an industrial experience

  • F. Corno, M. SonzeReorda, G. Squillero, A. Manzone, andA. Pincetti
  • DesignAutomation and Test in Europe, 2000, pp.385…
  • 2000
1 Excerpt

Behavioral-level test vector gener ationfor system-on-chip designs,

  • M. Lajolo, L. Lavagno, M. Rebaudengo, M. SonzaReorda, M. Violante
  • High Level DesignValidation andTestWorkshop,
  • 2000
1 Excerpt

Santucci,“Use of constraintsolving in orderto generatetestvectors for behavioral validation,

  • C. Paoli, M.-L. Nivet, andJ.-F
  • High Level DesignValidation andTestWorkshop,
  • 2000
1 Excerpt

Use of constraintsolving in orderto generatetestvectors for behavioral validation

  • P. Prinetto F. Corno, andM. SonzaReorda
  • High Level DesignValidation andTestWorkshop
  • 2000

GNU Prolog: A NativeProlog Compilerwith Constraint Solvingover Finite Domains

  • D. Diaz
  • The GNU Project,www.gnu.org,
  • 1999
3 Excerpts

Functional vector generationfor hdl modelsusinglinearprogramming and3-satisfiability

  • F. Fallah, S.Devadas, andK. Keutzer
  • DesignAutomation Conference, June1998, pp.528–533…
  • 1998
1 Excerpt

SonzaReorda,“Testability analysisandATPGon behavioral RT-level VHDL,

  • F. Corno, P. Prinetto, andM
  • in International TestConference,
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…