With the increasing complexity of systems, the current simulation based circuit verification used in industry are becoming more expensive while providing low coverage. The paper presents a systematic way to reduce the verification time by optimizing the execution order of test cases. Compared with the default order maintained by engineers, the optimal order can achieve a high coverage in a shor...

Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementation prepares to execute or evaluate a simulation model by a computer program. Viewing model verification as a program test this paper proposes a method for generation of test sequences that completely covers all possible behavior...

It is known that the performance of a speaker verification system improves with the length of test sentences. However, little is known about the exact relation between the performance and the test length. That makes it difficult to compare the results from various studies in which different test lengths have been used to evaluate the systems. In this paper, we have proposed a method to calculat...

The paper outlines a symbolic modeling approach developed in Glushkov Institute of Cybernetics and applied in verification and model-based testing. This method is the result of 10 years of experience in a large amount of industrial projects in different subject domains. The models in this approach are presented as UCM (Use Case Maps) notation composed with basic protocols formal language. Symbo...

UML is a standard language used in business modeling for specifying, visualizing and constructing artifact for software and non software systems. It provides the capability to explore the static structure as well as dynamic behaviour of any large and complex software system. It consists of different software design patterns, templates and frameworks with unique diagrams to represent different a...

In this paper, we present the modeling, validation, and verification of an industrial protocol for constraint-based path computation, called PCEP. From the PCEP specification defined by IETF, we divide the functionalities of PCEP into two parts: application and protocol. The protocol part of PCEP is then described in the IF language which is based on communicating timed automata. A number of ba...

The process of verifying a configurable IP is more complex and time-consuming than the IP design. This paper discusses a “divide-and-conquer” functional verification methodology for a highly configurable multi-gigabit transceiver IP used in a FPGA. Verification methods, reusability, hardware emulation and mixed-signal validation are covered to show how the IP is efficiently verified for tape-ou...

• Sometimes it is not feasible to obtain disease status verification for all study subjects. Analysis of only those with disease ascertainment can result in biased estimates of the accuracy (sensitivity, specificity, ROC curve) of a diagnostic test, screening test, or biomarker if the estimation method does not properly account for the missing disease ascertainment. This paper discusses the imp...

During behavioral model verification, it is important to determine the stopping point for the current test strategy and for moving to a different test strategy. It has been shown that the location of the stopping point is highly dependent on the statistical model one should choose to describe the coverage behavior during the verification process. This paper presents a study on the coverage beha...

In this paper, we examine the problem of quality measurement for speaker verification using support vector machines (SVMs). An efficient Gaussian mixture models (GMMs) based quality estimation algorithm is proposed to potentially utilize speaker-specific broad acoustic-class characteristics. Some verification strategies are also considered in the test phase. We perform clustering-based vector p...