기본 정보
연구 분야
프로젝트
발행물
구성원
article|
인용수 0
·2007
Practical Synthesis of Speed-Independent Circuits Using Unfoldings
Uisok Kim, Dongik Lee
IF 7.4Tunnelling and Underground Space Technology
초록

In this paper, we present a practical synthesis method using unfoldings which are based on partial order semantics and hence free of state space explosion inherently. In addition, we suggest several conditions for basic gate implementation in order to enhance practicality of the suggested method.

키워드
Electronic circuitComputer scienceOrder (exchange)Space (punctuation)State spaceState (computer science)AlgorithmMathematicsEngineeringStatistics