Owing to progresses in manufacture technology and EDA tools, transistor density and operation frequency of an integrated circuit have been increased rapidly. Consequently, challenges include how to represent logic function and timing behavior of a circuit under a high operation frequency with an analytical approach, how to rapidly and accurately simulate circuits with large scale by EDA tools, and how to test those more and more complicated circuits. This thesis focuses on those questions. Creative contribu...