三值动态和静态广义时序机理论.pdfVIP

痢23卷第4】羽 电子与信息学报 vol23No4 jouRNALoF 2u01年4月 ELEcTRoNlCsANDlNFORMATIoNTEcHNoLoGY Apr2001 三值动态和静态广义时序机理论1 方振贤 徐维杰 (黑龙江大学信息与电子科学系哈尔滨150080) 摘 要 该文在i值电路三要索理论的基础卜提m了i伉动态和静志_r义时序机理沦．首先找…i伉 状态【冬l和电路方程问的关系，嵌若系既适崩于静态电路．卫适片l于动态电路．*r静态电路义-l·推导山各 型二值触发器完整特性力‘程，它描述r触发器争时刻的行为。用以代替常规特性方程．使i值同步和异 步时序电路统～。对动态电路该文用电容代替触发器存储j值信息．实取三位动态时序电拌(特别足-： 值同步动各时序电路．属于非触发器式的时序电路)．困动态电路和静态电路J三要蔗别是负载行为。{if【此 可以存=值电路三要素理论和广义时序机理沦下统一三值动态和寺i|态．同步和异步时序电路。 关键词三值广义时序机．i值电路三要素皿l论。动态和静态时序电路 中圈号 TN70l l三值状态图和电路图闻的关系 常规=三值时序电路理论仅适刚丁静态电路，对三值动态电路失效，以致丁迄今尚术出现 i值动态时序电路理论㈦】。本文在三值电路三要素理论和广义时序理论的基础隧充‘研究 三值动态和静态，同步和异步时序电路ⅢJ。广义时序机首先要找出三值状态图和r巳路方程问 的关系(5j，为此引入i值信号的d表示法：记％={：：妻菜蕃要，{∈B3={0’1，2}，显然 仃证翰=话冀裟和一咖=话裳裟，叉因满踟％一加 n、一q11 和(。+6)52=o∞+6d2，易于将三值输入阵列表示为i值“与或”式，如Hn_-；I表示为 (ic彳+i勋)d2．式中面，d，n和“空”各自对应阵列中的O，1，2，和一。观机考虑有n个状态的 三值状态图，如旧1所示，状态口762在输入信号％62的作用下转移到新状态吼d2，记口蕊 为叽d2的新状态，于是由状态网得出 菇。=∑只一2竹6：=∑(只，q)‰i∈Ⅳ (1) 3∈N 3∈N 圈1 二值状忐图 叉记(Ao，．4l，A2)为状态集Jv关于状态变量仉=o，1，2的三块划分，因Q}=Q南2+ l百荔。，先分别对A。一山中的所有状态求和，得出0玉。和亩玉。，然后推出臼}如下： (利用0^d2+玩d2+虿^d2=2平110}删Q}旬=o，0≠J)) 1999—05—09收到，2000．04-13定稿 万方数据 4期 方振贤等：三值动志和静态广义时序机理沦 。五。=∑g矗： ∑∑(E，％)az (2a) t∈^2 l∈^2，∈_v _Q ； q f2b1 +埘 ●北 ∑∑(码o)a。 z∈^1J∈_v 百+：耋 {I 口 ●船 ∑∑(％毋)d。(由(1)式) (2c) ∑岫∑酏 z∈^o J∈Ⅳ o}=∑∑(