PETRI NET BASED APPROACH TO TEST BENCH CONSTRUCTING FOR DATAPATH
Andrei Karatkevich
2011
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
- 9). tisnpe Pr fo eth In P ent S 200.
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