本論文の目的は,結合した断層表現のためのモデルとしての決定性有限オートマトンを導入することである。モデルは,レジスタ転送レベルでの記憶挙動シミュレーション中に使用することができるかを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】