触发器的时钟方程和异步计数器分析的新方法

本文将触发器的时钟脉冲作为逻辑变量处理，导出了时钟方程的一种新的表达形式，并将其引入到触发器的特性方程中，使异步计数器的分析和同步计数器的分析在方法上统一起来。

时序逻辑电路的卡诺图分析法

提出了一种分析时序逻辑电路功能的新方法:利用分项满足法和时钟方程来填写状态方程的卡诺图。

一种改进的异步计数器分析方法

本文介绍一种改进的异步计数器分析方法，提出时钟约束状态方程的概念与计算方法；给出了分析步骤与典型实例。

基于DDR SDRAM控制器时序分析的模型

定义了时钟单位阶跃信号C(n),提出了一种利用带相对时钟坐标的逻辑方程表示逻辑信号的方法;通过对所设计的DDR SDRAM控制器的读写时序的分析,建立了控制器主要信号的时序表达式,并利用所建立的时钟逻辑方程对DDR控制器的读过程进行了简单的分析。这种方法可以应用到内存系统的带宽和延时估计方面,比较直观。

一种分析异步计数器的方法

本文介绍一种分析异步计数器的方法。文中引入了异步计数器时钟变量的概念，给出其计算方法，导出了异步计数器对统一外时钟的状态方程，并提出了用此状态方程分析异步计数器的方法和步骤，使异步计数器的分析得以简化。