科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
胡燕翔;
天津大学电子信息工程学院;
天津;
300072;
天津师范大学计算机学院;
Verilog语义; 抽象状态机; 延迟/事件控制;
机译:从Verilog的代数语义到指称语义
机译:多媒体内容的语义表示:知识表示和语义索引
机译:从代数语义到Verilog的表示语义
机译:语义关系的组成和否定的语义表示。
机译:受控的语义认知依赖于行政语义控制与轮辐式语义表示系统之间的动态和灵活交互
机译:ssa中间表示的asm语义
机译:用于表示数据路径组件的Verilog预处理器
机译:用于软件代理的语义解释装置,具有将事件和消息翻译成初始语义表示的翻译单元和识别符合该表示的语义解释模型的单元
机译:增加鞘磷脂酶酸(asm)蛋白活性,延长半衰期并延长纯化的asm蛋白活性,增加重组asm蛋白通过宿主细胞的产量的方法,以及用于纯化的等位基因的方法-野生的asm组合物和神经酰胺或鞘磷脂类似物化合物,以及神经酰胺或鞘磷脂类似物化合物
机译:Spice到Verilog网表转换器以及使用Spice进行Verilog和Verilog进行Spice翻译的设计方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。