High level languages; Computational linguistics; Semantics; Formats; Computerprograms; Syntax;
机译:在Prevail环境中对VHDL描述进行形式验证
机译:用于VHDL设计的正式验证工具的设计与应用
机译:有限状态机并行数组的VHDL描述的验证
机译:用于将VHDL描述转换为正式模型的工具及其在正式验证和综合的应用
机译:VHDL中电路设计的形式验证。
机译:网络物理系统中控制模块的正式验证
机译:使用类似VHDL的ACL2模型对VHDL进行形式验证
机译:sDVs中第4阶段VHDL向stateDeltas的增量转换的形式化描述