• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.2
• /
• pp.216-226
• /
• 2000

This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a deterministic signal transition graph specification with timing constraints. First, a timing analysis extracts the timed concurrency and timed causality relations between any two signal transitions. Then, a hazard-free implementation under the timing constraints is synthesized by constructing a precedence graph and finding paths in the graph. The major result of this work is that the method does not suffer from the state explosion problem, achieves significant reductions in synthesis time, and generates circuits that have nearly the same area as compared to previous methods.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.10
• /
• pp.47-55
• /
• 1999

In this paper, a new function hazard elimination algorithm is proposed for asynchronous circuit synthesis. In previous approach, function hazard is eliminated by using state graph which is obtained from the state assignment on STG(signal transition graph) representing transition relationship among signals. These algorithms can use conventional hazard removal and synthesis method applied in synchronous system, but it has much computational complexity and takes much time to handle the state graph. Although some hazard elimination algorithm from STG were proposed, it could not reduce the area overhead due to the addition of new signals. The proposed algorithm eliminate function hazard directly on STG and also control the number of minterms and product-term of added signal in order to minimize the area overhead. Experimental results on benchmark data shows that overall circuit area after hazard elimination is decreased about 15% on the average than that of previous method.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.4
• /
• pp.7-14
• /
• 2010

Stable-state behaviors of asynchronous sequential machines represented as finite state machines can be corrected by feedback control schemes. In this paper, we propose a state feedback control scheme for input/state asynchronous machines with uncertain transitions. The considered asynchronous machine is deterministic, but its state transition function is partially known due to model uncertainty or inner logic errors. The control objective is to compensate the behavior of the closed-loop system so that it matches a sub-behavior of a prescribed model despite uncertain transitions. Furthermore, during the execution of corrective action, the controller reflects the exact knowledge of transitions into the next step, i.e., the range of the behavior of the closed-loop system can be enlarged through learning. The design procedure for the proposed controller is described in a case study.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.9
• /
• pp.57-64
• /
• 2004

In this paper, we propose a RZ/HRZ mixture data transmission method for the asynchronous circuit design to reduce Power consumption. The dual-rail data with Rf decoding scheme is used to design asynchronous circuit, and it is easy to get a completion signal of the data validity from the native data as contrasted with sin91e-rail. However, the dual-rail scheme suffers from large chip area and increasing of Power consumption from all signals by the switching of the return-to-zero. We need to diminish number of circuit switching. The proposed RZ/HRZ data transmission reduces a switching activity to about 50% and it shows 23% lower power consumption than the conventional dual-rail coding with RZ's.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.26 no.2
• /
• pp.135-140
• /
• 2016

Corrective controllers enable fault diagnosis and tolerance for various faults in asynchronous sequential circuits without resort to redesign. In this paper, we propose a static corrective controller in order to decrease the size of the controller. Compared with dynamic controllers, static controllers can be made using only combinational circuits, as they need no inner states. We address the existence condition and design procedures for static corrective controllers that overcome state transition faults. To show the validity and advantage, the proposed controller is applied to an SEU error counter implemented on FPGA.

• Bulletin of the Korean Chemical Society
• /
• v.26 no.12
• /
• pp.1953-1961
• /
• 2005

We have performed high-level quantum mechanical calculation for multiple proton transfer in HOCl + HCl and $H_2O$ + $ClONO_2$ on water clusters, which can be used as a model of the reactions on ice surface in stratospheric clouds. Multiple proton transfer on ice surface plays crucial role in these reactions. The structures of the clusters with 0-3 water molecules and the transition state structures for the multiple proton transfer have been calculated. The energies and barrier heights of the proton transfer were calculated at various levels of theory including multi-coefficient correlated quantum mechanical methods (MCCM) that have recently been developed. The transition state structures and the predicted reaction mechanism depend very much on the level of theory. In particular, the HF level can not correctly predict the TS structure and barrier heights, so the electron correlation should be considered appropriately.

• Journal of Communications and Networks
• /
• v.10 no.2
• /
• pp.221-227
• /
• 2008

The proposed zone-based self-organized clustering broadcasts neighbor information to only a zone with the same ID. Besides, the zone-based self-organized clustering with unique IDs can communicate securely even if the state transition of nodes in zone-based self-organized clustering is threatened by corrupted nodes. For this security, the Byzantine agreement protocol with proactive asynchronous verifiable secret sharing (AVSS) is considered. As a result of simulation, an efficiency and a security of the proposed clustering are better than those of a traditional clustering. Therefore, this paper describes a new and extended self-organized clustering that securely seeks to minimize the interference in mobile ad hoc networks (MANETs).

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.359-362
• /
• 2000

In this paper, we propose a test pattern generation algorithm on the basis of the identification of undetectable faults for Speed-Independent(SI) asynchronous control circuits. The proposed methodology generates tests from the specification of a target circuit, which describes the behavior of the circuit in the form of Signal Transition Graph (STG). The proposed identification method uses only topological information of a target circuit and reachability information of a fault-free circuit, which is generated in the form of Binary Decision Diagram(BDD) during pre-processing. Experimental results show that high fault coverage over single input stuck-at fault model is obtained for several synthesized SI circuits and the use of the identification process as a preprocessing decreases execution time of the proposed test generation with negligible costs.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.971-974
• /
• 2003

본 논문은 DI(delay insensitive) 지연 모델을 적용한 비동기 회로의 데이터 전송시 발생되는 신호 천이의 수를 감소시키기 위한 새로운 데이터 인코딩 기법과 신호 천이 방법을 제시한다. DI 지연 모델을 적용한 비동기 시스템은 배선 지연에 관계없이 동작이 필요한 모듈에만 데이터와 핸드쉐이크를 위한 이벤트 신호를 전송하는 장점을 갖는다. 그러나 신호의 유효성과 동작 완료 검출을 위해 듀얼레일 데이터 인코딩이 필요하며 이는 비동기 회로의 크기를 증가시키고 이로 인해 전력 소비가 증가한다. 전력 소비를 감소시키기 위해 신호 천이의 수를 줄여야 하며, 본 논문에서는 제안한 신호 천이 기법을 적용하여 실험적으로 약 21%의 전력 소비 감소 결과를 얻었다.

• Bulletin of the Korean Chemical Society
• /
• v.24 no.6
• /
• pp.853-858
• /
• 2003

The reaction mechanism of the pyrolysis of sulphonyl oximes ($CH_3-C_6H_4-S(O)_2O-N=C(H)-C_6H_4Y$), in the gas phase is studied theoretically at HF/3-21G, ONIOM (B3LYP/6-31G**:HF/3-21G) and ONIOM (MP2/6- 31G**:HF/3-21G) levels. All the calculations show that the thermal decomposition of sulphonyl oximes is a concerted asynchronous process via a six-membered cyclic transition state. The activation energies (Ea) predicted by ONIOM (B3LYP/6-31G**: HF/3-21G) method are in good agreement with the experimental results for a series of tosyl arenecarboxaldoximes. Five para substituents, Y = $OCH_3$, $CH_3$, H, Cl, and $NO_2$, are employed to investigate the substituent effect on the elimination reaction. Linear Hammett correlations are obtained in all calculations in contrast to the experimental finding.