海外直订Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms 从抽象VHDL模型生成代码-基础，语义