对称传输电流开关理论与对称三值电流型CMOS算术电路

本文应用开关——信号理论建立了基于对称三值逻辑适用于对称三值电流型CMOS电路开关组设计的对称传输电流开关理论。文中应用该理论设计了对称三值电流型CMOS算术电路。设计结果表明所设计的电路具有电路结构简单、速度快等优点。

结合半加图的算术电路等价性验证技术

为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性,提出了一种利用综合引擎分析并再现算术电路优化过程的算法.该算法结合了乘法器的编码方式识别技术、加法电路的半加树提取技术和部分积加法电路的架构识别技术来提取乘法电路的实现结构,以此生成与实现电路结构相似且逻辑正确的网表.针对算术电路结构的相似性,仅分析低位输出的电路架构以降低算法复杂度.实验结果表明,与传统的算术电路验证算法相比,该算法可以明显提高算术电路的验证速度,并且可以直接结合到现有的寄存器传输级(RTL)和门级网表的验证流程中,从而提高了算术电路的验证能力.

有限域上通过算术变换进行多项式电路优化

针对电子设计自动化(EDA)高层次综合中功耗和面积的日益严峻挑战,进行非精确算术电路的自动综合和优化,并且基于有限域特性进行字长优化.非精确多项式电路优化基于算术变换方法,首先考虑电路的定点和浮点表示情况,给出电路在不同精度界限下的实现,进行误差和功耗、面积的权衡;然后应用分枝定界方法求解最小代价电路,决定满足误差要求的最小字长,同时利用自动综合优化方法得到最终的优化结构.实验结果显示,舍入误差只需增加0.5%～1%,即可分别得到35%的功耗降低和20%的面积缩减.

利用Multisim 7软件设计一个由半加器子电路组成的多位数的加法电路

应用于分析算术运算电路中多位数相加的教学,使教学直观、生动、形象,是对传统教学方法的一种改革,使理论教学与实践更好的紧密结合,实际应用证明Multisim7是实验教学的发展方向。

常系数乘法器的进化生成

文章提出了一种十分有效的基于图进化的优化技术，并成功地解决了 16－比特常系数乘法器的设计问题。实验结果充分表明，在大部分情形下，通过进化技术自动生成的乘法器的性能胜过使用常规的计算算术算法设计的乘法器。这项研究同时也充分表明，我们提出的基于图的进化技术能够有效地简化和加速计算算术电路的设计过程。

等价性验证中的自动算符排序

为提高等价性验证效率,提出了一种利用综合引擎重现算术电路的优化过程算法.算法在单向无环图上计算距离,提取出变量的分组和结合顺序;对不同编码方式的乘法器,识别乘数和被乘数的结合顺序.ZDFV的综合引擎根据这些信息生成与实现电路结构相似且逻辑正确的网表.该算法可以直接结合到现有的寄存器传输级(RTL)和门级网表的验证流程中,从而提高算术电路的验证能力.

基于VHDL语言的8位ALU IP核设计

本文介绍了利用VHDL语言获得8位微处理器中的算术逻辑单元电路的方法,并通过计算机仿真和硬件实验证明了设计的正确性,得到了一个可以重复利用的IP核。

The Design and Simulation Analysis of Adjustable DC Source Circuit based on AD 13 Software

DC regulated power has play a decisive role status in the modem enterprise production and family life. With the development of science and technology, all kinds of computer simulation technology is increasingly rising, the paper simulate and compare common DC regulated power with adjustable DC regulated power by Altium Designer software, intuitively demonstrates the stabilizing effect of the circuit, and introduces the characteristics of adjustable DC regulated power. Using AD13 software simulate and design DC stabilized power supply circuit, calculated the main parameters of the circuit, simulated and analyzed the circuit working simulation process and the working state of the circuit, it can visually verify the results of the theoretical analysis, and get relevant conclusions.