【摘 要】
：
Design extraction and reduction have been extensively used in modern VLSI design process. The extracted and reduced design can be efficiently processed by vario
【机 构】
：
School of Computer Science and Technology
论文部分内容阅读
Design extraction and reduction have been extensively used in modern VLSI design process. The extracted and reduced design can be efficiently processed by various applications, such as formal verification,simulation, automatic test pattern generation (ATPG), etc. This paper presents a new circuit extraction method using program slicing technique, and develops an elegant theoretical basis based on program slicing for circuit extraction from Verilog description. The technique can obtain a chaining slice for given signals of interest. Compared with related researches, the main advantages of the method include that it is fine grain; it has no hardware description language (HDL) coding style limitation; it is precise and is capable of dealing with various Verilog constructions. The technique has been integrated with a commercial simulation environment and incorporated into a design process. The results of practical designs show the significant benefits of the approach.
其他文献
Large single crystals of MAPO-43 molecular sieve have been synthesized hydrothermally using dimethylamine as the template. The typical molar composition of the
This paper describes the construction of a one-dimensional time-dependent theoretical ionospheric model,which is based onnumerical solution of continuity and mo
Explosive events have been observed to occur consecutively in bursts at intermittent locations along the boundary near the opposite polarity. The aim of the pre
针对传统可靠性仿真过程缺乏准确度以及仿真结果缺乏可信度等问题,通过嵌入验证模块和反馈模块,给出了改进的可靠性仿真过程模型.深入分析了改进后的仿真过程模型的具体步骤,
在掠入射条件下,由于部分平面波分量无法直接入射到反射面,从而不能按照常规方式被反射和透射.而反射透射模式的逆过程被用来描述非直接入射的这部分平面波分量与反射区的相
Background Sufficient length of the proximal landing zone (PLZ) is the key for a successful thoracic endovascular aortic repair (TEVAR) of an aortic lesion. The
针对目前1553B接口存在安装连接不便,不支持热拔插,外场使用制约大以及无法在便携式电脑上使用等缺点,论文提出一种基于USB总线的1553B通用接口方案;方案采用USB接口芯片CH37
Background Preeclampsia is one of hypertensive disorders in pregnancy. It is associated with abnormal lipid metabolism, including fatty acid oxidation metaboli
Background Superparamagnetic iron oxide (SPIO) particles have shown much promise as a means to visualize labeled cells using molecular magnetic resonance imagin