With the decrease of the gate oxide thickness and increase of the electric fields, generation of hot carriers is a problem in current-day CMOS circuits. The resulting transistor degradation limits the circuit lifetime and thus needs to be analyzed and calculated during the design of the circuit. Starting from the degradation model of a single transistor, the degradation of circuit blocks is exa...

The software prototype model can be used for the generation of the verification test. The input stimuli, which form essential activity vectors, are selected from randomly generated ones on the base of software prototype. The essential activity vectors correspond to the terms of logical functions of output the existence of which is tested during the verification. The verification test is formed ...

This paper describes an approach to transform a Structural Operational Semantics given as a set of deduction rules to a Linear Process Specification. The transformation is provided for deduction rules in De Simone format, including predicates. The Linear Process Specifications are specified in the syntax of the mCRL2 language, that, with help of the underlying (higher-order) re-writer/tool-set,...

With the success of the UML, the ability of transforming models into programs or formal specifications becomes a key to automated code generation or verification in the software development process. In this paper, we describe a concept for specifying model transformations by means of graph transformation rules on the UML meta model. In order to validate the termination and uniqueness of such tr...

Abstract: Rule based systems store knowledge as a set of rules and reason over them to solve problems. A new hype rough net approach for rule generation, representation and reasoning of knowledge-based system using rough sets and Petri nets is presented in this paper. A Rough Petri Net (RPN) is proposed for representing knowledge and formalism for the verification of rule-based systems. The mai...

This paper presents a method for generating semi-algebraic invariants for systems governed by non-linear polynomial ordinary differential equations under semi-algebraic evolution constraints. Based on the notion of discrete abstraction, our method eliminates unsoundness and unnecessary coarseness found in existing approaches for computing abstractions for non-linear continuous systems and is ab...

this paper considers the generation of some interpretable fuzzy rules for assigning an amino acid sequence into the appropriate protein superfamily. since the main objective of this classifier is the interpretability of rules, we have used the distribution of amino acids in the sequences of proteins as features. these features are the occurrence probabilities of six exchange groups in the seque...

Appearance changes conform to certain rules for a same person,while for different individuals the changes are uncontrolled. Hence, this paper studies the age progression rules to tackle face verification task. The age progression rules are discovered in the difference space of facial image pairs. For this, we first represent an image pair as a matrix whose elements are the difference of a set o...