AGH -University of Science and Technology 30-059 Krakow, Poland;
机译:使用路径枚举和约束编程从行为VHDL程序生成设计验证测试
机译:使用路径枚举和约束编程从行为VHDL程序生成设计验证测试
机译:使用VHDL的可编程心脏起搏器的设计与实现
机译:VHDL设计的编程规则的提案
机译:基于贝叶斯的停止规则,用于行为VHDL验证。
机译:针对痴呆症患者的私人保险计划的新建议:韩国可持续性私人保险计划的设计
机译:VHDL设计的编程规则的提案