Verilog语言形式化语义研究

---

Autoria(s): 李勇坚; 孙永强; 何积丰

Data(s)	2001
Identificador	http://ir.iscas.ac.cn/handle/311060/5208 http://www.irgrid.ac.cn/handle/1471x/67042
Fonte	李勇坚; 孙永强; 何积丰.Verilog语言形式化语义研究,软件学报,2001,12(10):
Palavras-Chave	#混合系统 #Verilog #区间时态逻辑 #离散事件调度 #交叠式并发语义
Tipo	期刊论文