PETRI NET BASED APPROACH TO TEST BENCH CONSTRUCTING FOR DATAPATH

Andrei Karatkevich

Abstract

Testing a data path in a digital system such as a microcontroller requires checking every possible way of sending data between the functional units. This paper considers a task of generating a test bench for a given data path, which covers every way of data sending with minimized number of simulations of microinstructions. We present a method in which a data path ismodeled by a Petri net. The task of optimal test bench generation is formulated as a task of covering all transitions by a sequence with minimal length. It can be solved by finding certain T-invariant of the net and a firing sequence corresponding to it. The proposed method is illustrated by two case studies of testing data paths of simple processors.

References

  1. 9). tisnpe Pr fo eth In P ent S 200.
Download


Paper Citation


in Harvard Style

Karatkevich A. (2011). PETRI NET BASED APPROACH TO TEST BENCH CONSTRUCTING FOR DATAPATH . In Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS, ISBN 978-989-8425-48-5, pages 506-511. DOI: 10.5220/0003363105060511


in Bibtex Style

@conference{peccs11,
author={Andrei Karatkevich},
title={PETRI NET BASED APPROACH TO TEST BENCH CONSTRUCTING FOR DATAPATH},
booktitle={Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,},
year={2011},
pages={506-511},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003363105060511},
isbn={978-989-8425-48-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,
TI - PETRI NET BASED APPROACH TO TEST BENCH CONSTRUCTING FOR DATAPATH
SN - 978-989-8425-48-5
AU - Karatkevich A.
PY - 2011
SP - 506
EP - 511
DO - 10.5220/0003363105060511