• 대한전기학회논문지
• /
• 제33권2호
• /
• pp.47-55
• /
• 1984

This paper is concerned with a computer-aided state assignment, that is, coding race-free internal states of asynchronous sequential circuits, and a method for minimizing the combinational network of asynchronous sequential circuits. The FORTRAN version of the peoposed algorithm results in race-free state assignments and reduction of the number of connections and gates with near minimal hardware cost. Some examples are designed by the proposed computer program to illustrate the algorithm in this paper. Finally, results are compared with those of the other methods.

• 전자공학회논문지C
• /
• 제35C권9호
• /
• pp.38-48
• /
• 1998

비동기 순차 회로에 대한 시험 벡터를 생성하는 문제는 매우 어려운 문제로 남아 있다. 현재까지 이 문제에 대한 알고리즘은 거의 없었다. 그리고, 기존의 접근 방식은 시험 벡터를 생성하는 동안에는 피이드백 루프를 절단하여 그 곳에 플립플롭이 있는 것처럼 가정하고 시험 벡터를 생성하는 방식이었다. 그래서, 기존의 알고리즘은 동기 순차 회로용 시험 벡터 생성 알고리즘과 매우 유사하였다. 이것은 시험 벡터를 생성할 때에는 비동기 순차회로를 동기 순차 회로로 가정하고 시험 벡터를 생성한다는 것을 의미한다. 그러므로, 생성된 시험 벡터가 비동기 순차 회로에 적용되었을 때, 대상 결함을 검출하지 못할 수도 있다는 것을 나타낸다. 본 논문에서는 비동기 순차 회로에 대한 시험 벡터를 생성할 수 있는 알고리즘을 제시하였다. 본 논문에서 제안된 알고리즘을 적용하여 생성된 시험 벡터는 임계레이스(critical race) 문제와 순환(oscillation) 문제의 발생을 최소로 하면서 비동기 순차 회로의 결함을 검출할 수 있다. 그리고, 본 논문에서 제안된 알고리즘을 적용하여 생성된 시험 벡터는 비동기 순차 회로에 대해서 대상 결함을 검출하는 것이 보장된다.

• 제어로봇시스템학회논문지
• /
• 제17권11호
• /
• pp.1125-1131
• /
• 2011

This paper presents a control theoretic approach to realizing fault tolerance in asynchronous sequential circuits. The considered asynchronous circuit is assumed to work in space environment and is subject to faults caused by total ionizing dose (TID) effects. In our setting, TID effects cause permanent changes in state transition characteristics of the asynchronous circuit. Under a certain condition of reachability redundancy, it is possible to design a corrective controller so that the closed-loop system can maintain the normal behavior despite occurrences of TID faults. As a case study, the proposed control scheme is applied to an asynchronous arbiter implemented in FPGA.

• 대한전자공학회논문지
• /
• 제11권2호
• /
• pp.22-26
• /
• 1974

변이응동 비동기순서회로를 합성하기 위하여 D-형 변이응동 flirt-flop을 사용하였다. 입력조의 상이라는 새로운 개념을 도입하여 내부상태를 감소할 수 있었다. 원시상태표로부터 직접 다입력변화 회로를 합성하는 등차를 마련하였고 실례를 들어 지금까지의 방법보다 더 나은 방법임을 실증하였다.

• 한국전자통신학회논문지
• /
• 제17권3호
• /
• pp.399-408
• /
• 2022

본 논문에서는 기본 모드 원리를 침해하는 과도 고장이 존재하는 입력/출력 비동기 순차 회로의 내고장성 교정 제어 시스템을 제안한다. 비동기 순차 회로의 과도 천이 과정에서 발생하는 비-기본 모드 고장을 극복하기 위해서는 고장에 의한 상태 천이가 종료되는 시점을 알아야 하며, 회로를 고장 상태로부터 원래 도달해야 하는 상태와 출력 등가적인 상태로 보내기 위한 교정 동작을 구현해야 한다. 본 논문에서는 이러한 고장 탐지 및 극복을 구현할 수 있는 출력 피드백 교정 제어기의 존재 조건을 규명한다. FPGA 실험을 통해 제안된 제어 시스템의 설계 과정을 제시하고 응용 가능성을 검증한다.

• 한국지능시스템학회논문지
• /
• 제26권2호
• /
• pp.135-140
• /
• 2016

비동기 순차 회로를 위한 교정 제어기는 회로를 재설계하지 않고도 회로 내에 존재하는 여러 고장을 탐지하고 극복하는 능력을 보인다. 이번 논문에서는 교정 제어기의 크기를 줄이기 위한 방법으로서 정적 교정 제어기(static corrective controller)를 제안한다. 동적 제어기에 비해 정적 제어기는 제어기 상태가 필요 없으므로 조합 회로(combinational circuit)만으로 구현 가능하다. 본 논문에서는 상태 천이 고장에 대한 정적 내고장성 교정 제어기가 존재할 조건과 설계 과정을 규명한다. 또한 제안된 제어 기법을 FPGA로 구현된 SEU 오류 카운터에 적용하여 그 효용성을 실험적으로 검증한다.

• 한국시뮬레이션학회논문지
• /
• 제10권1호
• /
• pp.25-34
• /
• 2001

In this paper, we describe the generation method of interface logic which replace between IP & IP handshaking signal with asynchronous logic circuit. Especially, we suggest the new asynchronous sequential "Waveform to VHDL" code creation algorithm by flow chart conversion : Wave2VHDL - if only mixed asynchronous timing waveform is presented the level type input and pulse type input for handshaking, we convert waveform to flowchart and then replace with VHDL code according to converted flowchart. Also, we confirmed that asynchronous electronic circuits are created by applying extracted VHDL source code from suggest algorithm to conventional domestic/abroad CAD Tool, Finally, we assured the simulation result and the suggest timing diagram are identical.

• 전자공학회논문지SC
• /
• 제46권4호
• /
• pp.39-48
• /
• 2009

전역 클럭 없이 동작하는 비동기 순차 머신은 동기 순차 머신에 비해서 속도나 에너지 소비 면에서 장점을 지닌다. 본 논문에서는 불확실한 상태 천이를 가지는 입력/상태 비동기 머신을 위한 견실 제어기를 제안한다. 논문에서 고려하는 비동기 머신은 모델 불확실성, 내부 고장 등으로 인해서 일부 영역의 상태 천이 함수가 불확실하다. 이번 연구에서는 이러한 비동기 머신을 표현하는 유한 상태 머신 식을 제안한 후 일반화된 도달가능성 행렬을 이용하여 머신의 폐루프 동작이 주어진 정상적인 모델의 동작과 일치하도록 하는 비동기 제어기가 존재할 조건을 규명한다. 또한 기존 연구 결과를 바탕으로 비동기 제어기의 설계 과정을 기술하고 폐루프 시스템의 안정 상태 동작을 분석한다.

• 대한전기학회논문지
• /
• 제32권11호
• /
• pp.404-416
• /
• 1983

This paper is concerned with the design automation of the sequential machines. The operations of sequential machine can be diveded into two types such as synchronous and asynchronous sequential machine and their realization is treated in separate mode. But, in order to integrate logic circuits in high volume, mixed mode sequential machine uses common circuitry that consists of gates and flip-flops. Proposed sequential machine can be designed by several method, which are hard-wired implementation, firmware realization by PLA and ROM. And then onr example shows the differnces among three design mothods. Finally, computer algorithm(called MINIPLA) is discussed for various application of mixed-mode sequential machine.

• 대한전자공학회논문지
• /
• 제12권2호
• /
• pp.24-27
• /
• 1975

Transition-Sensitive Flip-Flops(TSFF)에 의하여 원시흐름표로 부터 다입력변화 비동기순서논리회로를 합성하는 하나의 방법을 제안하였다. 목 방법에 의해시 실현한 회로는 Chuang의 그것보다 속도가 빠르다. Chuang의 출력상태를 실현하는 방법은 오진를 범하고 있음을 지적하고 원시흐름표로 부터 출력상태를 제어 여거법에 의해서 간편하게 실현할 수 있음을 보였다.