DocumentCode :
397003
Title :
Using time dependent variables for hazard analysis
Author :
Galupa, Nicolae
Author_Institution :
Fac. of Autom. Control & Comput. Eng., Tech. Univ. Iasi, Romania
Volume :
2
fYear :
2003
fDate :
4-7 May 2003
Firstpage :
749
Abstract :
The present paper considers the problem of hazard in combinatorial logic structures . We start from time constants method but we shall prove that this is not error free (there are situations when this method fails to point hazards in a combinatorial logic circuit). So we shall define an improvement for this method, improvement that will consider, among other features, the specific function implemented by the gates used (we are mostly interested by the inverting characteristic). In this endeavor we shall define a new type of operator and a new type of variable, both of them applicable when propagating the switching times for a specific circuit. The mentioned method is a very laborious one (considers all the possibilities disregarding the specific function implemented by a circuit). We shall prove that only a strictly limited number of situations should be considered in conjunction with the function that is being implemented by the circuit analyzed. In order to achieve this goal we shall express the logic function with respect to a new logic variable that is dependent by time. Operations with this new variable prove to have some very interesting properties (that we prove in the paper) that will allow us to restrain the window of possibilities of hazardous functioning to a very narrow one.
Keywords :
combinational circuits; combinational switching; logic gates; combinatorial logic structure; gate function implementation; hazard analysis; hazardous function; logic function; logic variable; primary vector; secondary vector; switching time; time constant method; time dependent variable; Automatic control; Automatic logic units; Circuit analysis; Computer errors; Control engineering computing; Error correction; Hazards; Logic circuits; Propagation delay; Switching circuits;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on
ISSN :
0840-7789
Print_ISBN :
0-7803-7781-8
Type :
conf
DOI :
10.1109/CCECE.2003.1226003
Filename :
1226003
Link To Document :
بازگشت