位置：成果数据库 > 会议 > 会议详情页
A WGL Verification Approach Based on Polynomial Symbolic Manipulations
  • 所属机构名称：哈尔滨工程大学
  • 会议名称：In Proc WRTLT'03, 143-150, Nov. 2003
  • 作者或编辑：3448
  • 第一作者单位：哈尔滨工程大学
  • 语言：英文
  • 成果类型：会议
  • 相关项目：基于多项式符号代数的系统芯片DA新方法研究
作者： Zhen-Jun Du|Guang-Sheng Ma|Gang Feng|
同会议论文项目
基于多项式符号代数的系统芯片DA新方法研究
期刊论文 36 会议论文 6 著作 1
同项目会议论文
Web-based Cooperative Design for SoC and Improved Architecture Exploration Algorithm
Dynamic Crosstalk Optimizing on Critical Paths for Detailed Routing
Application of Shifted Popov Form in High-level Synthesis and Verification for Reconfigurable Archit
Grobner Basis and Its application in Component Matching
GA-Based and Signal-Related Crosstalk Optimizing for Automatic Channel Routing