点击次数：

论文类型：期刊论文

发表时间：2013-02-10

发表刊物：Journal of Information and Computational Science

收录刊物：EI、Scopus

卷号：10

期号：3

页面范围：901-910

ISSN号：15487741

摘要：In this paper we propose an approach using Wu's Method to perform SEREs assertion verification for synchronous digital circuit systems. We define a constrained simple subset of SEREs so that an efficient polynomial modeling mechanism for both circuit descriptions and assertions can be applied. We present an algorithm framework based on algebraic representations using the characteristic set of polynomial system. Case studies show that computer algebra can provide canonical symbolic representations for PSL temporal assertions verification and Wu's Method based approach can act as a novel solver engine from a theoretical viewpoint. ? 2013 by Binary Information Press.