Proceedings of the IEEK Conference (대한전자공학회:학술대회논문집)

The Institute of Electronics and Information Engineers (대한전자공학회)
권호 표지

An initialization issue of asynchronous circuits using binary decision

이진결정 그래프를 이용한 비동기 회로의 초기화

  • 김수현 (광주과학기술원 정보통신공학과) ;
  • 이정근 (광주과학기술원 정보통신공학과) ;
  • 최호용 (충북대학교 전기전자공학부) ;
  • 이동익 (광주과학기술원 정보통신공학과)
  • Published : 1998.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

We present a method for initialization of asynchronous circuits using binary decision space representation. From state transition graph(STG) which is given as a specification a circuit, the BDD is generated to solve the state space explosion problem which is caused by concurrecy of STG. We first step, we construct the necessary informaton as a form of K-map from BDD, then find an initial state on the K-map by assignment of don't care assignment.

Keywords