基于代数方法的MSI组合部件的扩展技术

本文根据MSI组合部件的逻辑功能，建立了适用于该集成电路扩展的代数表示形式.在此基础上，提出了基于代数分解方法的MS I组合部件扩展技术.     

三值线性时序机(TLSM)及其在三值序列滤波器与发生器中的应用

本文提出了三值线性时序机(TLSM)模型.并提出了基于文献[4]的三值D型触发器的三值序列滤波器与三值序列发生器的设计,讨论了三值序列发生器在保密通信中的应用.     

三值线性时序机(TLSM)及其在三值序列滤波器与发生器中的应用

本文提出了三值线性时序机(TLSM )模型.并提出了基于文献〔幻的三值D型触发器的三值序列滤波器与三值序列发生器的设计,讨论了三值序列发生器在保密通信中的应用     

基于状态转换图的555单稳态触发器设计方法

提出555时基电路的输出信号与输入信号之间具有时序特征.根据反映时序特征的状态转换图及单稳态触发器的工作特点,系统地研究了555单稳态触发器的设计方法,分析了外加触发信号的输入方式、电平幅度、持续时间要求、RC电路定时单元的接法及电容的充放电过程,并发现了一些新的设计方案.Multisim仿真及实际硬件验证证明了所提出设计方案的正确性.     

一种时序逻辑网络的快速设计方法

引用1984年尹克震提出的“开关函数的反演公式”,采用伪随机序列技术的思想,提出移位寄存器型时序逻辑网络的一种快速设计方法。     

基于集成移位寄存器的扭环形计数器自启动设计

分析了扭环形计数器工作时的状态转换过程,分析了集成移位寄存器的逻辑功能,提出了用集成移位寄存器74LS194构成扭环形计数器的一些新的设计方案,即移位寄存器的状态变化在右移移位或并行输入符合右移规律的数码、反馈实现取反循环移位的基础上,对任何一位触发器的激励函数进行逻辑修改,可实现扭环形计数器自启动设计.所述方法的创新点是提出了MSI集成移位寄存器改变应用方向的逻辑修改方法.     

基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．     

抗功耗攻击的密码运算部件辅助设计技术

在识别密码算法部件中可被功耗攻击的漏洞的基础上,提出了量化评估密码算法部件防护能力的计算方法,该方法可指导设计者在设计过程中验证和改进密码算法的具体实现.本文以成功实施功耗攻击所需的样本数来衡量密码算法部件的防护能力,统一定义了各种不同强度的功耗攻击的信噪比,提出了估算瞬态功耗概率分布的算法,以及估算所需样本数的计算方法.结合识别功耗攻击漏洞和防护能力的量化评估,设计实现了抗功耗攻击的DES算法部件,实验结果验证了所提出的辅助设计技术的有效性.     

n个部件和开关组成的时序转换系统的可靠性

针对一些部件交替工作的复杂系统的可靠性指标求解问题,给出了由n个部件和一个开关组成的时序转换系统的定义,并对此类转换系统的可靠性进行研究。当转换系统中的部件和开关的寿命都服从指数分布时,得到了转换系统的可靠度解析式,并将结果应用于空调的可靠度求解,在实践中检验结果的合理性。     

基于快速二-十进制转换算法的智能水表专用控制芯片LCD接口设计

针对智能水表控制芯片与LCD驱动芯片之间信号编码不一致并且转换复杂的问题,提出了一种ZY886B型液晶模块的接口电路.为提高转换速率、节省开销,设计的关键部分采用基于快速二-十进制转换算法的电路,该算法与其它二-十进制转换算法相比具有转换速率和面积上的优势.所设计LCD接口采用Verilog HDL描述,在Modelsim 6.0 SE版本上进行仿真和验证,在Design Compiler综合平台上进行优化综合.结果显示接口满足ZY886B的工作时序,最大时钟频率超过250 MHz,动态功耗小于1 mW.     

低功耗互补传输门绝热逻辑和时序电路的设计

研究了采用二相非交叠功率时钟的绝热触发器及时序电路的设计，介绍了采用二相无交叠功率时钟的互补传输门绝热逻辑（CPAL）电路，并分析了其工作原理．该电路利用nMOS管自举原理对负载进行全绝热驱动，从而减小了电路整体功耗，且CPAL能耗几乎与工作频率无关．提出了性能良好的低功耗绝热D、T和JK触发器，并与其他几种绝热触发器进行功耗比较．给出了绝热时序电路的一般设计方法，并作为实例采用应用绝热D触发器设计了十进制计数器．SPICE程序模拟表明：设计的电路具有正确的逻辑功能及低功耗的优点．     

基于低功耗双边沿JK触发器的异步时序电路设计

从JK触发器的激励表出发,介绍了基于单边沿JK触发器的同步时序电路和异步时序电路设计,提出了双边沿JK触发器的完整状态方程,并以此为基础讨论了基于双边沿JK触发器的异步时序电路的设计方法.     

有限自动机的一种 M IS 实现方法

本文在 M SI计数器逻辑功能描述的基础上,提出了利用状态触发矩阵及状态转 移矩阵求取各输入函数的解析方法.该方法适宜于计算机编程操作,因此可方便地用于多输 入多状态有限自动机的综合     

基于次态卡诺图的J、K激励函数最小化方法及时序逻辑电路自启动设计

分析了JK触发器的激励函数和次态函数的关系并在卡诺图上建立二者的联系,提出了在触发器的次态卡诺图上直接求解最小化J、K激励函数的方法,讨论了无效状态的赋值问题及自启动设计方法,对简化时序逻辑电路的设计过程具有实用意义.     

采用组合时钟的异步时序‘电路分析和设计

本文根据电路中采用的触发器的不同敏感沿,提出采用组合时钟的异步时序电路的设计和分析方法.     

基于混合技术的时序电路等价性验证

时序电路的等价性验证比组合电路更复杂,尤其是状态变量多的电路;一种有效方法是通过寄存器匹配,将部分时序电路验证转化为组合电路验证问题,降低验证的复杂度.因此,提出了一种结合多种方法的时序电路等价性验证算法,该算法结合随机仿真、局部BDD、寄存器匹配以及状态遍历.算法中的随机仿真和寄存器匹配技术能对寄存器作快速匹配,局部BDD技术减少了内存爆炸的可能,状态遍历可对电路进行最后的输出验证.实验结果表明：此算法能更快对电路进行验证.