Keywords Hardware Synthesis;Resource Models;System Level Design Language;Denotational Semantics;Compiler;

• 硬件综合;资源模型;系统描述语言;指称语义;编译器;