测试语言ATLAS的实现技术

被引：4

作者：

刘磊

郭德贵

机构：

[1] 吉林大学计算机科学与技术学院,吉林大学计算机科学与技术学院长春,长春

来源：

关键词：

ATLAS; 信号; 测试语言; 有限自动机;

D O I：

10.19650/j.cnki.cjsi.2004.s2.006

中图分类号：

TP311.1 [程序设计];

学科分类号：

081202 ; 0835 ;

摘要：

介绍了从通用标准测试语言ATL AS到C++语言的转换技术,并讨论了代码生成、设备分配、状态表维护、总线并行和定时等关键实现技术。依据此技术实现了ATL AS语言的转换系统。

引用

页码：16 / 19

页数：4