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

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

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

An initialization issue of asynchronous circuits using binary decision

  • 김수현 (광주과학기술원 정보통신공학과) ;
  • 이정근 (광주과학기술원 정보통신공학과) ;
  • 최호용 (충북대학교 전기전자공학부) ;
  • 이동익 (광주과학기술원 정보통신공학과)
  • 발행 : 1998.06.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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.

키워드