...
机译:用于高级设计验证的VHDL构造和方法
机译:用于VHDL设计的正式验证工具的设计与应用
机译:基于VHDL的4相绝热逻辑设计的建模,仿真和验证
机译:4相绝热逻辑设计的建模,仿真与验证:基于VHDL的方法
机译:通过形式验证改进可综合VHDL的设计方法
机译:在VHDL-MDG设计验证系统中集成MDG变量排序。
机译:关于加速艾滋病毒疫苗策略的临床开发:在构建优化的多臂I / II期试验设计中的方法学挑战和考虑因素的评论
机译:基于VHDL的管道A / D转换器设计和验证方法