Functional verification plays a key role in the design verification cycle and the physical fault testing process. There are several functional verification methods that generate tests for modules independent of their implementation ; however, these methods do not scale well for medium to large circuits. In this paper we introduce a new implementation independent functional test generation techn...

We study the linear statistics of the circular β-ensemble with a Stein’s method argument, where the exchangeable pair is generated through circular Dyson Brownian motion. This generalizes previous results obtained in such a way for the CUE and provides a novel approach for studying linear statistics of β-ensembles. This approach allows studying simultaneously a collection of linear statistics w...

A Formal Logic is developed and the following presented: i) Notation for Formal Logic; ii) developing the Formal Logic for Digital Investigations Experiments (FDIE); iii) Case study modifying BPB and demonstrating the Formal Logic in ii); and iv) extending the Formal logic to Digital Investigations (FDI). A case study using BIOS Partition Block (BPB) modifications to render the partitions unrea...

we present a new model and a new approach for solving fuzzylinear programming (flp) problems with various utilities for the satisfactionof the fuzzy constraints. the model, constructed as a multi-objective linearprogramming problem, provides flexibility for the decision maker (dm), andallows for the assignment of distinct weights to the constraints and the objectivefunction. the desired solutio...

This paper analyzes renewal input state dependent queue with $N$- policy wherein the server takes exactly one vacation. Using the supplementary variable technique and recursive method, we derive the steady state system length distributions at various epochs. Various performance measures has been presented. Finally, some numerical  computations in the form of graphs are presented to show the par...

This paper is on the elasto-plastic analysis of plane stress problems. A five-parameter yield surface is presented. This yield criterion uses associate flow along with mixed hardening rule. The analytical formulations are written and related computer program for non-linear analysis is prepared. Finally, based on the formulations, numerical examples are solved.

In present paper, vibration of Nano FGM plate based on modified couple stress and First Order Shear Deformation Theories (FSDT) under moving load has been developed. Basic equations and linear strains are introduced by first order shear deformation theory and Mori Tanaka’s model is used for the plate. The module of elasticity and density are assumed to vary only through thickness of plate. Gove...