机译:使用程序切片的HDL描述自动电路提取器
School of Computer Science and Technology, National University of Defense Technology, Changsha 410073 P.R. China;
program slicing; chaining slice; process dependence graph; circuit extraction; VLSI; functional verification;
机译:使用程序切片的HDL描述自动电路提取器
机译:ATPRG:使用HDL-A的自动测试程序生成器,用于诊断模拟/混合信号集成电路
机译:用于RTL的HDL描述的自动控制器提取器
机译:重写HDL描述以实现可逆电路的线路感知综合
机译:硬件描述语言程序切片和减少边界模型检查搜索开销的方法。
机译:通过混合整数非线性规划自动设计合成基因电路
机译:可变顺序电路状态分配的特征及HDL自动合成。