Ara
Toplam kayıt 3, listelenen: 1-3
Regular Expression Based Test Sequence Generation for HDL Program Validation
(Ieee, 2018)
This paper proposes a test sequence generation approach for behavioral model validation of sequential circuits implemented in Hardware Description Language (HDL). In the procedure of test sequence generation proposed in ...
Prioritizing coverage-oriented testing process - An adaptive-learning-based approach and case study
(Ieee Computer Soc, 2007)
This paper proposes a graph-model-based approach to prioritizing the test process. Tests are ranked according to their preference degrees which are determined indirectly, i.e., through classifying the events. To construct ...
Towards Uniform Modeling and Holistic Testing of Hardware and Software
(Institute of Electrical and Electronics Engineers Inc., 2019)
This paper introduces an approach to uniform modeling and testing of hardware and software systems and their faults. As an example, for hardware under consideration, designs at a behavioral level will be used, implemented ...