Verilog代数语义研究

---

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

Data(s)	2003
Identificador	http://ir.iscas.ac.cn/handle/311060/5210 http://www.irgrid.ac.cn/handle/1471x/67044
Fonte	李勇坚; 何积丰; 孙永强.Verilog代数语义研究,软件学报,2003,14(3):
Palavras-Chave	#Verilog #代数语义 #可靠性 #完备性 #范式归约 #事件 #事件触发
Tipo	期刊论文