机译:在自动RTL设计调试中利用软件配置管理
Department of Electrical and Computer Engineering, University of Toronto, Toronto, ON, Canada;
University of Toront;
Debugging; System-on-chip; History; Metadata; Formal verification; Integrated circuit modeling; Support vector machines;
机译:通过成功集成基于Java的学校管理应用软件,利用信息技术实现学校管理和学生活动的自动化
机译:通过利用软件设计多样性来提高核应急管理决策支持系统的可靠性
机译:通过利用软件设计多样性提高核应急管理决策支持系统的可靠性
机译:利用软件定义网络的作业管理系统的体系结构设计
机译:使用静态/动态混合分析进行自动化软件调试。
机译:数据密集型可扩展计算中的自动调试
机译:VHDL-RTL设计软件调试中的建模状态 - a. 基于模型的诊断方法
机译:软件配置管理自动状态核算系统的设计。