On Processing Order for Obtaining Implication Relations in Static Learning

Search this article

Description

Static learning is a procedure to extract implication relations of a logic circuit. In this paper we point out that the number of the extracted implication relations by static learning depends on the order of signal lines processed. Also, we show four procedures for ordering signal lines processed and the effectiveness of the ordering procedures by experiments.

Journal

Citations (4)*help

See more

References(6)*help

See more

Details 詳細情報について

Report a problem

Back to top