Institutional Repository
| Verilog语言形式化语义研究 | |
| Alternative Title | study on the formal semantics of verilog |
| 李勇坚; 孙永强; 何积丰 | |
| 2001 | |
| Source | 软件学报
![]() |
| Volume | 12Issue:10 |
| Indexed Type | wanfang |
| Keyword | 混合系统 Verilog 区间时态逻辑 离散事件调度 交叠式并发语义 |
| Department | 计算机科学国家重点实验室 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/5208 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 李勇坚,孙永强,何积丰. Verilog语言形式化语义研究[J]. 软件学报,2001,12(10). |
| APA | 李勇坚,孙永强,&何积丰.(2001).Verilog语言形式化语义研究.软件学报,12(10). |
| MLA | 李勇坚,et al."Verilog语言形式化语义研究".软件学报 12.10(2001). |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 2.pdf(297KB) | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment