1: %% This document created by Scientific Word (R) Version 3.5

2: 

3: \documentclass{article}%

4: \usepackage{amsmath}

5: \usepackage{graphicx}%

6: \usepackage{amsfonts}%

7: \usepackage{amssymb}

8: %TCIDATA{OutputFilter=latex2.dll}

9: %TCIDATA{CSTFile=LaTeX article (bright).cst}

10: %TCIDATA{Created=Thursday, May 01, 2003 17:13:39}

11: %TCIDATA{LastRevised=Sunday, May 04, 2003 02:07:46}

12: %TCIDATA{<META NAME="GraphicsSave" CONTENT="32">}

13: %TCIDATA{<META NAME="DocumentShell" CONTENT="Articles\SW\Standard LaTeX Article">}

14: \newtheorem{theorem}{Theorem}[section]

15: \newtheorem{acknowledgement}[theorem]{Acknowledgement}

16: \newtheorem{algorithm}[theorem]{Algorithm}

17: \newtheorem{axiom}[theorem]{Axiom}

18: \newtheorem{case}[theorem]{Case}

19: \newtheorem{claim}[theorem]{Claim}

20: \newtheorem{conclusion}[theorem]{Conclusion}

21: \newtheorem{condition}[theorem]{Condition}

22: \newtheorem{conjecture}[theorem]{Conjecture}

23: \newtheorem{corollary}[theorem]{Corollary}

24: \newtheorem{criterion}[theorem]{Criterion}

25: \newtheorem{definition}[theorem]{Definition}

26: \newtheorem{example}[theorem]{Example}

27: \newtheorem{exercise}[theorem]{Exercise}

28: \newtheorem{lemma}[theorem]{Lemma}

29: \newtheorem{notation}[theorem]{Notation}

30: \newtheorem{problem}[theorem]{Problem}

31: \newtheorem{proposition}[theorem]{Proposition}

32: \newtheorem{remark}[theorem]{Remark}

33: \newtheorem{solution}[theorem]{Solution}

34: \newtheorem{summary}[theorem]{Summary}

35: \newenvironment{proof}[1][Proof]{\textbf{#1.} }{\ \rule{0.5em}{0.5em}}

36: 

37: \begin{document}

38: 

39: \title{On the Inertia of the Asynchronous Circuits}

40: \author{Serban. E. Vlad\\Oradea City Hall, Piata Unirii, Nr. 1, 3700, Oradea, Romania\\serban\_e\_vlad@yahoo.com, http://site.voila.fr/serban\_e\_vlad}

41: \date{}

42: \maketitle

43: 

44: \begin{abstract}

45: By making use of the notions and the notations from \cite{p3}, we present the

46: bounded delays, the absolute inertia and the relative inertia.

47: 

48: \end{abstract}

49: 

50: \section{Bounded Delays}

51: 

52: \begin{theorem}

53: The next system%

54: \begin{equation}

55: \underset{\xi\in\lbrack t-d_{r},t-d_{r}+m_{r}]}{\bigcap}u\left(  \xi\right)

56: \leq x\left(  t\right)  \leq\underset{\xi\in\lbrack t-d_{f},t-d_{f}+m_{f}%

57: ]}{\bigcup}u\left(  \xi\right)  \label{e1}%

58: \end{equation}

59: where $u,x\in S$ and $0\leq m_{r}\leq d_{r},0\leq m_{f}\leq d_{f}$ defines a

60: DC if and only if%

61: \begin{equation}

62: d_{r}\geq d_{f}-m_{f},d_{f}\geq d_{r}-m_{r}\label{e2}%

63: \end{equation}

64: \textbf{Proof} The proof consists in showing that ($\ref{e2}$) implies for any

65: $u$ the existence of a solution $x$ of (\ref{e1}); any such $x$ satisfies

66: $x\in Sol_{SC}(u)$. If ($\ref{e2}$) is not fulfilled, it is proved that $u$

67: exists so that (\ref{e1}) has no solutions.

68: \end{theorem}

69: 

70: \begin{definition}

71: The system (\ref{e1}), when ($\ref{e2}$) is true, is called the

72: \textit{bounded delay condition} (BDC). $u,x$ are the \textit{input},

73: respectively the \textit{state} (or the \textit{output}); $m_{r},m_{f}$ are

74: the (\textit{rising,} f\textit{alling}) \textit{memories} (or

75: \textit{thresholds for cancellation}) and $d_{r},d_{f}$ , respectively

76: $d_{f}-m_{f},d_{r}-m_{r}$ are the (\textit{rising,} f\textit{alling})

77: \textit{upper bounds}, respectively the (\textit{rising,} f\textit{alling})

78: \textit{lower bounds of the transmission delay for transitions}. We say that

79: the tuple $(u,m_{r},d_{r},m_{f},d_{f})$ satisfies BDC. We shall also call

80: bounded delay condition the function $Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}%

81: }:S\rightarrow P^{\ast}(S)$ defined by%

82: \[

83: Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}(u)=\{x|(u,m_{r},d_{r},m_{f},d_{f}%

84: )\ satisfies\ BDC\}

85: \]

86: \end{definition}

87: 

88: \begin{definition}

89: The inequalities ($\ref{e2}$) are called the \textit{consistency condition}

90: (CC) of BDC.

91: \end{definition}

92: 

93: \begin{theorem}

94: \label{t1.4}Let $0\leq m_{r}\leq d_{r},0\leq m_{f}\leq d_{f}$ and $0\leq

95: m_{r}^{^{\prime}}\leq d_{r}^{^{\prime}},0\leq m_{f}^{^{\prime}}\leq

96: d_{f}^{^{\prime}}$ so that CC is fulfilled for each of them.

97: \end{theorem}

98: 

99: \begin{description}

100: \item[a)] We note $d_{r}^{"}=\min(d_{r},d_{r}^{^{\prime}}),d_{f}^{"}%

101: =\min(d_{f},d_{f}^{^{\prime}}),m_{r}^{"}=d_{r}^{"}-\max(d_{r}-m_{r}%

102: ,d_{r}^{^{\prime}}-m_{r}^{^{\prime}}),$ $m_{f}^{"}=d_{f}^{"}-\max(d_{f}%

103: -m_{f},d_{f}^{^{\prime}}-m_{f}^{^{\prime}})$. The next statements are equivalent:

104: 

105: \begin{enumerate}

106: \item[a.i)] $\forall u,Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}(u)\wedge

107: Sol_{BDC}^{m_{r}^{^{\prime}},d_{r}^{^{\prime}},m_{f}^{^{\prime}}%

108: ,d_{f}^{^{\prime}}}(u)\neq\emptyset$

109: 

110: \item[a.ii)] $d_{r}^{"}\geq d_{f}^{"}-m_{f}^{"},d_{f}^{"}\geq d_{r}^{"}%

111: -m_{r}^{"}$

112: \end{enumerate}

113: 

114: \item[ ] and if one of them is satisfied, then we have

115: \[

116: Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}\wedge Sol_{BDC}^{m_{r}^{^{\prime}}%

117: ,d_{r}^{^{\prime}},m_{f}^{^{\prime}},d_{f}^{^{\prime}}}=Sol_{BDC}^{m_{r}%

118: ^{"},d_{r}^{"},m_{f}^{"},d_{f}^{"}}%

119: \]

120: 

121: \item[b)] We use the notations $d_{r}^{"}=\max(d_{r},d_{r}^{^{\prime}}%

122: ),d_{f}^{"}=\max(d_{f},d_{f}^{^{\prime}}),$ $m_{r}^{"}=d_{r}^{"}-\min

123: (d_{r}-m_{r},d_{r}^{^{\prime}}-m_{r}^{^{\prime}}),$ $m_{f}^{"}=d_{f}^{"}%

124: -\min(d_{f}-m_{f},d_{f}^{^{\prime}}-m_{f}^{^{\prime}})$. The inequalities

125: $d_{r}^{"}\geq d_{f}^{"}-m_{f}^{"},d_{f}^{"}\geq d_{r}^{"}-m_{r}^{"}$ are

126: satisfied and%

127: \[

128: Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}\vee Sol_{BDC}^{m_{r}^{^{\prime}}%

129: ,d_{r}^{^{\prime}},m_{f}^{^{\prime}},d_{f}^{^{\prime}}}\subset Sol_{BDC}%

130: ^{m_{r}^{"},d_{r}^{"},m_{f}^{"},d_{f}^{"}}%

131: \]

132: The previous inclusion becomes equality if and only if%

133: \[

134: \forall u,Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}(u)\wedge Sol_{BDC}%

135: ^{m_{r}^{^{\prime}},d_{r}^{^{\prime}},m_{f}^{^{\prime}},d_{f}^{^{\prime}}%

136: }(u)\neq\emptyset

137: \]

138: 

139: \item[c)] The next statements are equivalent:

140: 

141: \begin{enumerate}

142: \item[c.i)] $Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}$ is deterministic

143: 

144: \item[c.ii)] The upper bounds and the lower bounds of the delays coincide:%

145: \[

146: d_{r}=d_{f}-m_{f},d_{f}=d_{r}-m_{r}%

147: \]

148: 

149: \item[c.iii)] The memories are null%

150: \[

151: m_{r}=m_{f}=0

152: \]

153: 

154: \item[c.iv)] The bounded delay degenerates in a translation%

155: \begin{equation}

156: \exists d\geq0,Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}=I_{d} \label{c.iv}%

157: \end{equation}

158: \end{enumerate}

159: 

160: \item[d)] The next statements are equivalent

161: 

162: \begin{enumerate}

163: \item[d.i)] $Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}\subset Sol_{BDC}%

164: ^{m_{r}^{^{\prime}},d_{r}^{^{\prime}},m_{f}^{^{\prime}},d_{f}^{^{\prime}}}$

165: 

166: \item[d.ii)] $\ d_{r}^{^{\prime}}-m_{r}^{^{\prime}}\leq d_{r}-m_{r}\leq

167: d_{f}\leq d_{f}^{^{\prime}},\ d_{f}^{^{\prime}}-m_{f}^{^{\prime}}\leq

168: d_{f}-m_{f}\leq d_{r}\leq d_{r}^{^{\prime}}$

169: \end{enumerate}

170: 

171: \item[e)] $Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}$ is time invariant

172: 

173: \item[f)] The next statements are equivalent

174: 

175: \begin{enumerate}

176: \item[f.i)] $Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}$ is symmetrical

177: 

178: \item[f.ii)] $d_{r}=d_{f},m_{r}=m_{f}$

179: \end{enumerate}

180: 

181: \item[g)] $Sol_{BDC}^{m_{r}+m_{r}^{^{\prime}},d_{r}+d_{r}^{^{\prime}}%

182: ,m_{f}+m_{f}^{^{\prime}},d_{f}+d_{f}^{^{\prime}}}$ is a BDC and we have%

183: \[

184: Sol_{BDC}^{m_{r}^{^{\prime}},d_{r}^{^{\prime}},m_{f}^{^{\prime}}%

185: ,d_{f}^{^{\prime}}}\circ Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}=Sol_{BDC}%

186: ^{m_{r}+m_{r}^{^{\prime}},d_{r}+d_{r}^{^{\prime}},m_{f}+m_{f}^{^{\prime}%

187: },d_{f}+d_{f}^{^{\prime}}}%

188: \]

189: \end{description}

190: 

191: \section{Fixed and Inertial Delays}

192: 

193: \begin{definition}

194: \label{d2.1}Let $u,x\in S$ and $d\geq0$. The equation (see \ref{t1.4}

195: (\ref{c.iv}))%

196: \[

197: x\left(  t\right)  =u(t-d)

198: \]

199: is called the \textit{fixed delay condition} (FDC). The delay defined by this

200: equation is also called \textit{pure}, \textit{ideal} or \textit{non-inertial}%

201: . A delay different from FDC is called \textit{inertial}.

202: \end{definition}

203: 

204: \begin{corollary}

205: FDC is deterministic, time invariant, constant and symmetrical. The serial

206: connection of the FDC's coincides with the composition of the translations:%

207: \[

208: I_{d}\circ I_{d^{\prime}}=I_{d^{\prime}}\circ I_{d}=I_{d+d^{\prime}}%

209: ,d\geq0,d^{\prime}\geq0

210: \]

211: \end{corollary}

212: 

213: \begin{remark}

214: At \ref{d2.1} inertia was defined to be the property of the DC's of being not

215: ideal. In particular the non-deterministic DC's, for example the non-trivial

216: BDC's (i.e. the BDC's with memory $m_{r}+m_{f}\gtrdot0$) are inertial.

217: \end{remark}

218: 

219: \section{Absolute Inertia}

220: 

221: \begin{definition}

222: The property%

223: \begin{align*}

224: \overline{x(t-0)}\cdot x(t)  &  \leq\underset{\xi\in\lbrack t,t+\delta_{r}%

225: ]}{\bigcap}x\left(  \xi\right) \\

226: x(t-0)\cdot\overline{x(t)}  &  \leq\underset{\xi\in\lbrack t,t+\delta_{f}%

227: ]}{\bigcap}\overline{x\left(  \xi\right)  }%

228: \end{align*}

229: true for $\delta_{r}\geq0,\delta_{f}\geq0$ is called the \textit{absolute

230: inertial condition} (AIC), or the non-zenoness condition. $\delta_{r}%

231: ,\delta_{f}$ are called \textit{inertial parameters}. If it is fulfilled, we

232: say that the tuple $(\delta_{r},\delta_{f},x)$ satisfies AIC. We also call AIC

233: the set $Sol_{AIC}^{\delta_{r},\delta_{f}}\subset S$ defined by%

234: \[

235: Sol_{AIC}^{\delta_{r},\delta_{f}}=\{x|(\delta_{r},\delta_{f}%

236: ,x)\ satisfies\ AIC\}

237: \]

238: \end{definition}

239: 

240: \begin{remark}

241: AIC means that if $x$ switches from $0$ to $1$, then it remains $1$ at least

242: $\delta_{r}\geq0$ time units + the dual property. To be remarked the trivial

243: situation $\delta_{r}=\delta_{f}=0$.

244: \end{remark}

245: 

246: \begin{definition}

247: Let $i$ a DC satisfying $\forall u,i(u)\wedge Sol_{AIC}^{\delta_{r},\delta

248: _{f}}\neq\emptyset$. The DC $i\wedge Sol_{AIC}^{\delta_{r},\delta_{f}}$ is

249: called \textit{absolute inertial delay condition} (AIDC). $Sol_{BDC}%

250: ^{m_{r},d_{r},m_{f},d_{f}}\wedge Sol_{AIC}^{\delta_{r},\delta_{f}} $ is called

251: \textit{bounded absolute inertial delay condition} (BAIDC).

252: \end{definition}

253: 

254: \begin{theorem}

255: The numbers $0\leq m_{r}\leq d_{r},0\leq m_{f}\leq d_{f}$ \ with CC true and

256: $\delta_{r}\geq0,\delta_{f}\geq0$ are given. The next statements are equivalent:

257: \end{theorem}

258: 

259: \begin{description}

260: \item[a)] $\forall u,Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}(u)\wedge

261: Sol_{AIC}^{\delta_{r},\delta_{f}}\neq\emptyset$

262: 

263: \item[b)] $\delta_{r}+\delta_{f}\leq m_{r}+m_{f}$

264: \end{description}

265: 

266: \begin{corollary}

267: $0\leq m_{r}\leq d_{r},0\leq m_{f}\leq d_{f}$, $0\leq m_{r}^{^{\prime}}\leq

268: d_{r}^{^{\prime}},0\leq m_{f}^{^{\prime}}\leq d_{f}^{^{\prime}}$ and

269: $\delta_{r}\geq0,\delta_{f}\geq0,\delta_{r}^{^{\prime}}\geq0,\delta

270: _{f}^{^{\prime}}\geq0$ satisfy $d_{r}\geq d_{f}-m_{f},d_{f}\geq d_{r}%

271: -m_{r},d_{r}^{^{\prime}}\geq d_{f}^{^{\prime}}-m_{f}^{^{\prime}}%

272: ,d_{f}^{^{\prime}}\geq d_{r}^{^{\prime}}-m_{r}^{^{\prime}},$ $\delta

273: _{r}+\delta_{f}\leq m_{r}+m_{f},\delta_{r}^{^{\prime}}+\delta_{f}^{^{\prime}%

274: }\leq m_{r}^{^{\prime}}+m_{f}^{^{\prime}}$. In such conditions $Sol_{BDC}%

275: ^{m_{r},d_{r},m_{f},d_{f}}\wedge Sol_{AIC}^{\delta_{r},\delta_{f}}$ ,

276: $Sol_{BDC}^{m_{r}^{^{\prime}},d_{r}^{^{\prime}},m_{f}^{^{\prime}}%

277: ,d_{f}^{^{\prime}}}\wedge Sol_{AIC}^{\delta_{r}^{^{\prime}},\delta

278: _{f}^{^{\prime}}},Sol_{BDC}^{m_{r}+m_{r}^{^{\prime}},d_{r}+d_{r}^{^{\prime}%

279: },m_{f}+m_{f}^{^{\prime}},d_{f}+d_{f}^{^{\prime}}}\wedge Sol_{AIC}^{\delta

280: _{r}^{^{\prime}}\delta_{f}^{^{\prime}}}$ are BAIDC's and the next property of

281: the serial connection holds:%

282: \[

283: (Sol_{BDC}^{m_{r}^{^{\prime}},d_{r}^{^{\prime}},m_{f}^{^{\prime}}%

284: ,d_{f}^{^{\prime}}}\wedge Sol_{AIC}^{\delta_{r}^{^{\prime}}\delta

285: _{f}^{^{\prime}}})\circ(Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}\wedge

286: Sol_{AIC}^{\delta_{r},\delta_{f}})\subset

287: \]%

288: \[

289: \subset Sol_{BDC}^{m_{r}+m_{r}^{^{\prime}},d_{r}+d_{r}^{^{\prime}},m_{f}%

290: +m_{f}^{^{\prime}},d_{f}+d_{f}^{^{\prime}}}\wedge Sol_{AIC}^{\delta

291: _{r}^{^{\prime}}\delta_{f}^{^{\prime}}}%

292: \]

293: \end{corollary}

294: 

295: \section{Relative Inertia}

296: 

297: \begin{definition}

298: $0\leq\mu_{r}\leq\delta_{r},0\leq\mu_{f}\leq\delta_{f}$ and $u,x\in S $ are

299: given. The property%

300: \begin{align*}

301: \overline{x(t-0)}\cdot x(t)  &  \leq\underset{\xi\in\lbrack t-\delta

302: _{r},t-\delta_{r}+\mu_{r}]}{\bigcap}u\left(  \xi\right) \\

303: x(t-0)\cdot\overline{x(t)}  &  \leq\underset{\xi\in\lbrack t-\delta

304: _{f},t-\delta_{f}+\mu_{f}]}{\bigcap}\overline{u\left(  \xi\right)  }%

305: \end{align*}

306: is called the \textit{relative inertial condition} (RIC). $\mu_{r},\delta

307: _{r},\mu_{f},\delta_{f}$ are called \textit{inertial parameters}. If it is

308: fulfilled, we say that the tuple $(u,\mu_{r},\delta_{r},\mu_{f},\delta_{f},x)$

309: satisfies RIC. We also call RIC the function $Sol_{RIC}^{\mu_{r},\delta

310: _{r},\mu_{f},\delta_{f}}:S\rightarrow P^{\ast}(S)$ defined by%

311: \[

312: Sol_{RIC}^{\mu_{r},\delta_{r},\mu_{f},\delta_{f}}\left(  u\right)

313: =\{x|(u,\mu_{r},\delta_{r},\mu_{f},\delta_{f},x)\ satisfies\ RIC\}

314: \]

315: \end{definition}

316: 

317: \begin{theorem}

318: \label{t4.2}Let $0\leq\mu_{r}\leq\delta_{r},0\leq\mu_{f}\leq\delta_{f},u\in S$

319: and $x\in Sol_{RIC}^{\mu_{r},\delta_{r},\mu_{f},\delta_{f}}\left(  u\right)  $

320: arbitrary. If $\delta_{r}\geq\delta_{f}-\mu_{f},\delta_{f}\geq\delta_{r}%

321: -\mu_{r}$ then $x\in Sol_{AIC}^{\delta_{f}-\delta_{r}+\mu_{r},\delta

322: _{r}-\delta_{f}+\mu_{f}}$.

323: \end{theorem}

324: 

325: \begin{remark}

326: RIC states that the inertial delays 'model the fact that the practical

327: circuits will not respond (at the output) to two transitions (at the input)

328: which are very close together' \cite{p1}, \cite{p2}. Theorem \ref{t4.2}

329: connecting AIC and RIC makes use of the condition $\delta_{r}\geq\delta

330: _{f}-\mu_{f},\delta_{f}\geq\delta_{r}-\mu_{r}$ that is very similar to CC, but

331: with a different meaning.

332: \end{remark}

333: 

334: \begin{definition}

335: Let $i$ a DC with $\forall u,i\left(  u\right)  \wedge Sol_{RIC}^{\mu

336: _{r},\delta_{r},\mu_{f},\delta_{f}}\left(  u\right)  \neq\emptyset$. Then the

337: DC $i\wedge Sol_{RIC}^{\mu_{r},\delta_{r},\mu_{f},\delta_{f}}$ (see Theorem

338: 4.4 c) in \cite{p3}) is called \textit{relative inertial delay condition}

339: (RIDC). In particular $Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}\wedge

340: Sol_{RIC}^{\mu_{r},\delta_{r},\mu_{f},\delta_{f}}$ is called \textit{bounded

341: relative inertial delay condition} (BRIDC).

342: \end{definition}

343: 

344: \begin{theorem}

345: \label{t4.5}Let the numbers $0\leq m_{r}\leq d_{r},0\leq m_{f}\leq d_{f}$ .

346: The next conditions are equivalent

347: \end{theorem}

348: 

349: \begin{enumerate}

350: \item[a)] $\forall u,Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}\left(  u\right)

351: \wedge Sol_{RIC}^{\mu_{r},\delta_{r},\mu_{f},\delta_{f}}\left(  u\right)

352: \neq\emptyset$

353: 

354: \item[b)] One of the next conditions is true

355: 

356: \begin{description}

357: \item[b.i)] $d_{f}-m_{f}\leq\delta_{r}\leq d_{r}\leq\delta_{r}-\mu_{r}%

358: +m_{r},d_{r}-m_{r}\leq\delta_{f}\leq d_{f}\leq\delta_{f}-\mu_{f}+m_{f}$

359: 

360: \item[b.ii)] $d_{r}-m_{r}+\mu_{r}\leq\delta_{r}\leq d_{f}-m_{f}\leq

361: d_{r},d_{f}-m_{f}+\mu_{f}\leq\delta_{f}\leq d_{r}-m_{r}\leq d_{f}$

362: 

363: \item[b.iii)] $d_{f}-m_{f}\leq\delta_{r}\leq d_{r}-m_{r}+\mu_{r}\leq

364: d_{r},d_{r}-m_{r}\leq\delta_{f}\leq d_{f}-m_{f}+\mu_{f}\leq d_{f}$

365: 

366: \item[b.iv)] $\delta_{r}\leq d_{f}-m_{f}\leq\delta_{r}+m_{r}-\mu_{r}\leq

367: d_{r},\delta_{f}\leq d_{r}-m_{r}\leq\delta_{f}+m_{f}-\mu_{f}\leq d_{f}$

368: \end{description}

369: \end{enumerate}

370: 

371: \begin{remark}

372: The equivalent conditions from Theorem \ref{t4.5} are of consistency of BRIDC,

373: they are stronger than CC (of BDC) and weaker than (see the hypothesis

374: $\delta_{r}\geq\delta_{f}-\mu_{f},\delta_{f}\geq\delta_{r}-\mu_{r}$ from

375: Theorem \ref{t4.2})

376: \begin{align*}

377: d_{f}-m_{f}  &  \leq\delta_{f}-\mu_{f}\leq\delta_{r}\leq d_{r}\\

378: d_{r}-m_{r}  &  \leq\delta_{r}-\mu_{r}\leq\delta_{f}\leq d_{f}%

379: \end{align*}

380: \end{remark}

381: 

382: \begin{theorem}

383: \label{t4.7}Let $0\leq m_{r}\leq d_{r},0\leq m_{f}\leq d_{f}$ so that CC is

384: fulfilled and $u\in S$ arbitrary. The next statements are equivalent:

385: \end{theorem}

386: 

387: \begin{enumerate}

388: \item[a)] $x\in Sol_{BDC}^{m_{r},d_{r},m_{f},d_{f}}\left(  u\right)  \wedge

389: Sol_{RIC}^{m_{r},d_{r},m_{f},d_{f}}\left(  u\right)  $

390: 

391: \item[b)]

392: \begin{align*}

393: \overline{x(t-0)}\cdot x(t)  &  =\overline{x(t-0)}\cdot\underset{\xi\in\lbrack

394: t-d_{r},t-d_{r}+m_{r}]}{\bigcap}u\left(  \xi\right) \\

395: x(t-0)\cdot\overline{x(t)}  &  =x(t-0)\cdot\underset{\xi\in\lbrack

396: t-d_{f},t-d_{f}+m_{f}]}{\bigcap}\overline{u\left(  \xi\right)  }%

397: \end{align*}

398: \end{enumerate}

399: 

400: \begin{theorem}

401: Any of the previous equivalent conditions defines a deterministic, time

402: invariant, constant DC.

403: \end{theorem}

404: 

405: \begin{remark}

406: The deterministic situation \ref{t4.7} of BRIDC has as special case $I_{d}$,

407: happening when $m_{r}=m_{f}=0,d_{r}=d_{f}=d$. On the other hand the serial

408: connection of the BRIDC's is not a BRIDC. We also mention the possibility of

409: replacing the functions $\underset{\xi\in\lbrack t-d_{r},t-d_{r}+m_{r}%

410: ]}{\bigcap}u\left(  \xi\right)  ,\underset{\xi\in\lbrack t-d_{f},t-d_{f}%

411: +m_{f}]}{\bigcup}u\left(  \xi\right)  $ with $\underset{\xi\in\lbrack

412: t-d_{r},t)}{\bigcap}u\left(  \xi\right)  ,\underset{\xi\in\lbrack t-d_{f}%

413: ,t)}{\bigcup}u\left(  \xi\right)  $ in BDC, the functions $\underset{\xi

414: \in\lbrack t,t+\delta_{r}]}{\bigcap}x\left(  \xi\right)  ,\underset{\xi

415: \in\lbrack t,t+\delta_{f}]}{\bigcap}\overline{x\left(  \xi\right)  }$ with

416: $\underset{\xi\in\lbrack t,t+\delta_{r})}{\bigcap}x\left(  \xi\right)

417: ,\underset{\xi\in\lbrack t,t+\delta_{f})}{\bigcap}\overline{x\left(

418: \xi\right)  }$ in AIC, the functions $\underset{\xi\in\lbrack t-\delta

419: _{r},t-\delta_{r}+\mu_{r}]}{\bigcap}u\left(  \xi\right)  $ and $\underset

420: {\xi\in\lbrack t-\delta_{f},t-\delta_{f}+\mu_{f}]}{\bigcap}\overline{u\left(

421: \xi\right)  }$ with $\underset{\xi\in\lbrack t-\delta_{r},t)}{\bigcap}u\left(

422: \xi\right)  ,\underset{\xi\in\lbrack t-\delta_{f},t)}{\bigcap}\overline

423: {u\left(  \xi\right)  }$ in RIC etc. and some variants of the previous

424: definitions result. The last six functions are not signals.

425: \end{remark}

426: 

427: \begin{thebibliography}{9}                                                                                                %

428: 

429: \bibitem {p1}Michael Liebelt, A Proposal for Research on the Testability of

430: Asynchronous Circuits, The University of Adelaide, Department of Electrical

431: and Electric Engineering, Internal Report HPCA-ECS-96/01, August 1998

432: 

433: \bibitem {p2}Michael Liebelt, Progress Report on Research on the Testing of

434: Asynchronous Circuits, The University of Adelaide, Department of Electrical

435: and Electric Engineering, internal report HPCA-ECS-95/03, 29 December 1995

436: 

437: \bibitem {}Al Davis, Steven Mark Nowick, An Introduction to Asynchronous

438: Circuit Design, UUCS-97-013, 1997

439: 

440: \bibitem {}O. Maler, A. Pnueli, Timing Analysis of Asynchronous Circuits Using

441: Timed Automata, in P. E. Camurati, H. Eveking (Eds), Proc. CHARME'95, 189-205,

442: LNCS 987, Springer, 1995

443: 

444: \bibitem {}William Kwei-Cheung Lam, Algebraic Methods for Timing Analysis and

445: Testing in the High Performance Designs, PhD Thesis, Univ. of California at

446: Berkeley, 1993

447: 

448: \bibitem {}Luciano Lavagno, Synthesis and Testing of Bounded Wire Delay

449: Asynchronous Circuits from Signal Transition Graphs, PhD Thesis, Electrical

450: Engineering and Computer Sciences, Univ. of California at Berkeley, 1992

451: 

452: \bibitem {}Supratik Chakraborty, Polynomial-Time Techniques for Approximate

453: Timing Analysis of Asynchronous Systems, PhD Thesis, August, 1998

454: 

455: \bibitem {}J. A. Brzozowski, C-J. H. Seger, Advances in Asynchronous Circuit

456: Theory, Part I: Gate and Unbounded Inertial Delay Models, Bulletin of the

457: European Association for Theoretical Computer Science, Number 42, pp. 198-249,

458: February 1990

459: 

460: \bibitem {}J. A. Brzozowski, C-J. H. Seger, Advances in Asynchronous Circuit

461: Theory, Part II: Bounded Inertial Delay Models, MOS Circuits, Design

462: Techniques, Bulletin of the European Association for Theoretical Computer

463: Science, Number 43, pp. 199-263, February 1991

464: 

465: \bibitem {}Serban E. Vlad, Towards a Mathematical Theory of the Delays of the

466: Asynchronous Circuits, Analele Universitatii din Oradea, Fascicola matematica,

467: Tom IX, 2002

468: 

469: \bibitem {}Serban E. Vlad, On Timed Automata: the Inertial Delay Buffer, the

470: 9-th Symposium of Mathematics and Its Applications, Timisoara-Romania,

471: November 1-4, 2001

472: 

473: \bibitem {p3}Serban E. Vlad, Defining the Delays of the Asynchronous Circuits,

474: CAIM 2003, Oradea Romania, May 29-31,2003

475: \end{thebibliography}

476: \end{document}