...
机译:使用符号模拟从高级描述构建有效的形式模型
Synopsys Inc, Adv Technol Grp, Hillsboro, OR 97124 USA;
symbolic simulation; Data-Flow-Graph; high-level model;
机译:使用关系建模和符号计算对高级数据流综合设计进行形式验证
机译:用于高级硬件描述(包括未解释的函数)的符号模拟启发式算法
机译:用于二维油藏模拟的模拟模型的沉积构造的形式描述
机译:用符号模拟形式对高级一致性进行形式验证
机译:硬件/软件形式验证中高级构造的推理
机译:经验抽样研究中的计划中的缺失数据设计:评估个人内部构造的高效设计的蒙特卡洛模拟
机译:一种用于构建原子尺度模拟的高效能量模型的DFT驱动的多尺度框架