中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Subject: Computer Science (provided by Thomson Reuters)
Title:
基于Mealy机精化关系的验证算法
Alternative Title: a verification method based on refinement of mealy machine
Author: 梁虹 ; 金乃咏
Keyword: 形式验证 ; 性质验证 ; 精化 ; Mealy机
Source: 计算机应用与软件
Issued Date: 2012
Volume: 29, Issue:8, Pages:169-172
Indexed Type: CNKI ; CSCD ; WANFANG
Department: 中国科学院软件研究所;新思科技有限公司验证组;
Sponsorship: 国家自然科学基金项目(60970030)|教育部留学回国人员科研启动基金项目(外教司[2006J331])资助
Abstract: 与传统验证方法相比,形式验证技术因其完备性,已在数字电路设计领域中得到越来越多的关注。通过对形式验证技术和状态机的研究,在LTL公式的可实现策略基础上,提出一个基于Mealy机精化关系的验证算法,实现了一个搜索工具原型:支持算术表达式的LTL性质描述,在设计空间中搜索满足给定规范的输入输出信号。该技术可应用于定位电路设计中满足给定功能性质的代码片段。
English Abstract: Compared with traditional verification methods,formal verification,as one of the complementary approaches,has received more and more attention in digital circuit design field.So through the study of formal verification and the state machines,a verification method based on the refinement of Mealy machine has been proposed according to achievable policy of LTL formula.And we have implemented a prototype of search tool: it supports the arithmetic expressions in LTL property description and finds out in design space the given input/output signals satisfying the specification.This enabling technology is able to be applied to the design of locating circuit to satisfy the code segment with certain behavioural properties.
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15001
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
梁虹,金乃咏. 基于Mealy机精化关系的验证算法[J]. 计算机应用与软件,2012-01-01,29(8):169-172.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[梁虹]'s Articles
[金乃咏]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[梁虹]‘s Articles
[金乃咏]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace