Protocol-Inspired Hardware Testing

@inproceedings{He1999ProtocolInspiredHT,
  title={Protocol-Inspired Hardware Testing},
  author={Ji He and Kenneth J. Turner},
  booktitle={IWTCS},
  year={1999}
}
Therelevanceof protocolconformancetestingtechniquestohardwaretesting is discussed.It is shown that the ioconf (input-outputconformance)approach usedin protocoltestingcanbeappliedto generatetestsfor a synchronoushardwaredesignusingits formalspecification.Thegeneratedtestsareautomatically appliedto a circuit by a VHDL testbench, thusgiving confidencethat thehardwaredesignmeetsits high-level formalspecification.Casestudiesillustratehow the ideascanbeappliedto… CONTINUE READING
BETA

References

Publications referenced by this paper.
SHOWING 1-10 OF 25 REFERENCES

IFIP WG10.5benchmarkcircuits. http:// goethe.ira.uka.de/hvg/b enchmarks.html

  • J. Staunstrupand T. Kropf
  • 1996
Highly Influential
3 Excerpts

Usingon-the-flyverificationtechniquesfor thegenerationof testsuites

  • J. C. Fernandez, C. Jard, T. Jéron, andC. Viho
  • LectureNotesin ComputerScience,
  • 1996
Highly Influential
3 Excerpts

Modelling andverifying synchronouscircuits in Dill. TechnicalReportCSM-152,Departmentof ComputingScience andMathematics

  • Ji He andK.J.Turner
  • 1999
2 Excerpts

Abstractiontechniques for validationcoverageanalysisandtestgeneration.IEEE Transactions onComputer s, 47:2–14,1998

  • D. Moundanos, A. Abraham, andY.V. Hoskote
  • 1998
1 Excerpt

J.Turner. TimedDill: Digital logic with Lotos

  • Ji HeandK
  • Technical ReportCSM-145,Departmentof…
  • 1998
1 Excerpt

Similar Papers

Loading similar papers…