Computerized Automatic Logic Analysis System:CALAS

概要

論文の詳細を見る
CALAS is the automatic logic analyzer on digital systems which is implement in FORTRAN. The input language in which given digital systems are described is a Boolean expression type language. The output is described in the language which is equivalent to sequential control flows. Therefore, CALAS is the converter between 2 types of system description languages. The characteristics of CALAS are as followss: (1) A large scale system is analyzed efficiently because of requiring a relatively small capacity of storage and executing in a relatively short time, (2) It can treat a system with asynchronous loop circuits, (3) The system behavior is understood easily because of simplification of logic equations and (4) Various analysis modes can be specified by the common system.
一般社団法人情報処理学会の論文