HDL simulation semantics; symbolic simulation; transaction level equivalence checking;
机译:启用了语义Web的多代理系统的领域特定建模语言的形式语义
机译:键化广义草图的变量集语义:用于对象标识的形式语义和用于概念建模的抽象语法
机译:将布局与HDL模型进行比较:一种正式的验证技术
机译:使用HDL仿真语义的正式模型施工
机译:语义驱动的框架,可促进施工模拟模型的可重用性和互操作性。
机译:通过最近的apoA-I晶体结构验证盘状HDL的先前计算机模型和MD模拟
机译:建筑仿真模型的表示,共享和发现的语义方法
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.