形式化描述技术 FDTS
处方形式化描述语言 RFDL
形式化描述模型 Formal Description Model
形式化描述方法 formalization description method ; formalized description method ; formal specification method
体系结构的形式化描述 Formularized Description of Software Architecture
本文介绍高层次综合中调度问题的形式化描述。
This paper presents a formalized description of scheduling in the high-level synthesis.
最后给出了约束的形式化描述语言rcl 2000。
Finally the paper presents the formalized language RCL2000 of restriction.
通过适配器生成过程的形式化描述可以自动生成该适配器。
With the formal description of the adaptor generating process, we can automatically generate the adaptor.
应用推荐