C language; circuit CAD; formal verification; hardware-software codesign; integrated circuit layout; large scale integration; C language; C synthesis; CyberWorkBench; RTL design; configurable processor; hardware design; high level synthesis; industrial design; integra;
机译:基于C的行为综合的系统LSI设计方法的研究与分析。
机译:基于C的RTL处理器高级综合的交互式设计环境
机译:新型基于夫萨林宁C的螯合剂用于89锆放射性标记的合理设计,合成和初步评估
机译:CyberWorkBench:基于C行为综合和验证的集成设计环境
机译:针对极端环境应用的集成传感器接口的设计和验证。
机译:新颖的基于夫萨林宁C螯合剂的锆89放射性标记的合理设计合成和初步评价
机译:基于C语言的高级综合交互式设计环境