An executable semantics of SystemC transaction level models and its applications with VERDS

ISCAS OpenIR

	An executable semantics of SystemC transaction level models and its applications with VERDS
	Zeng, Naiju (1); Zhang, W. (1); Zeng, Naiju
	2014
会议名称	2014 19th International Conference on Engineering of Complex Computer Systems, ICECCS 2014
页码	198-201
会议日期	August 4, 2014 - August 7, 2014
会议地点	Tianjin, China
收录类别	EI
出版地	Institute of Electrical and Electronics Engineers Inc.
ISBN	9781479954827
部门归属	(1) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China; (2) University of Chinese Academy of Sciences, Beijing, China
摘要	Transaction level modeling (TLM) is a high-level approach to modeling digital systems where details of communication are separated from the details of computation. In SystemC transaction level models, modules communicate through function calls provided by channels, which include primitive channels and hierarchical channels. This work extends the semantics of simple SystemC models in previous work to support the key concepts of SystemC transaction level models and presents a tool to transform SystemC source codes in TLM-1.0 to transition systems for the purpose of verification on symbolic model checker VERDS. Our approach is demonstrated through a case study of an abstract bus implemented in TLM-1.0 of SystemC.; Transaction level modeling (TLM) is a high-level approach to modeling digital systems where details of communication are separated from the details of computation. In SystemC transaction level models, modules communicate through function calls provided by channels, which include primitive channels and hierarchical channels. This work extends the semantics of simple SystemC models in previous work to support the key concepts of SystemC transaction level models and presents a tool to transform SystemC source codes in TLM-1.0 to transition systems for the purpose of verification on symbolic model checker VERDS. Our approach is demonstrated through a case study of an abstract bus implemented in TLM-1.0 of SystemC.
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16625
专题	中国科学院软件研究所
通讯作者	Zeng, Naiju
推荐引用方式 GB/T 7714	Zeng, Naiju ,Zhang, W. ,Zeng, Naiju. An executable semantics of SystemC transaction level models and its applications with VERDS[C]. Institute of Electrical and Electronics Engineers Inc.,2014:198-201.