姚茂群,孫 曦,周 旋
(1. 杭州師范大學(xué)信息科學(xué)與工程學(xué)院,浙江 杭州 311121; 2. 杭州師范大學(xué)錢江學(xué)院,浙江 杭州 310018)
目前集成電路行業(yè)的功耗過大問題越來越嚴(yán)重,而電流型電路在解決功耗問題方面具有優(yōu)越性[1].電流型電路能夠在較低的電源電壓下工作,并且功率不會隨著工作頻率的提高發(fā)生太大的變化[2].同時,CMOS電路具有較低的靜態(tài)功耗,且允許較寬的電源電壓范圍.因此,電流型CMOS電路一直深受國內(nèi)外的極大關(guān)注[3].
數(shù)據(jù)選擇器是一種通用性很強的邏輯部件,除了可以實現(xiàn)組合邏輯設(shè)計外,還可用做分時多路傳輸電路、函數(shù)發(fā)生器及數(shù)碼比較器等電子器件,在集成電路領(lǐng)域有著十分廣泛的應(yīng)用.本文通過閾算術(shù)代數(shù)系統(tǒng),基于和圖的電流型設(shè)計方法,提出了一種新型電流型CMOS數(shù)據(jù)選擇器,它能夠?qū)崿F(xiàn)任意二值三變量的函數(shù)電路,也大大降低了原有數(shù)據(jù)選擇器的功耗.
以非負運算(這里不做討論)、算術(shù)運算及閾算術(shù)運算為基本運算構(gòu)成的代數(shù)系統(tǒng),我們稱為閾算術(shù)代數(shù)系統(tǒng),而閾算術(shù)函數(shù)就是其邏輯關(guān)系的解析.閾算術(shù)函數(shù)的值為一切自然數(shù).為了便于區(qū)分,本文規(guī)定邏輯函數(shù)都表示成小寫f,閾算術(shù)函數(shù)都表示成大寫F,在邏輯函數(shù)中“·”表示“與”運算,“+”表示“或”運算,而在閾算術(shù)函數(shù)中“·”表示算術(shù)乘法運算,“+”則表示算術(shù)加法運算,表示乘法的點符也可以省略[4].
第一,閾算術(shù)代數(shù)系統(tǒng)提出了一個完備運算集,在該完備運算集中定義了信號變量x,y,z∈(1,2,3,…,m),閾值t,t1,t2∈(0.5,1.5,…,m-0.5),并且m為大于或等于零的整數(shù)[5].
第二,在聯(lián)結(jié)運算的基礎(chǔ)上,閾算術(shù)代數(shù)系統(tǒng)更進一步地提出了閾算術(shù)運算.
定義1高閾算術(shù)運算:
(1)
定義2低閾算術(shù)運算:
(2)
定義3雙閾算術(shù)運算:
(3)
定義4算術(shù)乘法運算:〈x〉t1·〈y〉t2.
乘法運算可以通過串聯(lián)運算[6]得到,如圖1所示.輸出f即為〈x〉t1·〈y〉t2.
定義5算術(shù)加法運算:〈x〉t1+〈y〉t2.
加法運算可以通過并聯(lián)運算得到,如圖2所示.輸出f即為〈x〉t1+〈y〉t2.
圖1 算術(shù)乘法運算Fig.1 Arithmetic multiplication圖2 算術(shù)加法運算Fig.2 Arithmetic addition
在閾算術(shù)代數(shù)系統(tǒng)中,有著與K圖(卡諾圖)類似的圖形表示——和圖[7].和圖與K圖的坐標(biāo)排列是完全一樣的,小格內(nèi)的填入值對應(yīng)于閾算術(shù)函數(shù)值的大小.在K圖中,不會出現(xiàn)函數(shù)值大于1的情況,但是在和圖中,閾算術(shù)函數(shù)取值范圍為自然數(shù),從函數(shù)值域上看,閾算術(shù)函數(shù)包含邏輯函數(shù).總之,K圖小格內(nèi)填入的值僅為0或者1,而和圖的小格內(nèi)可以填入除0和1外的其他自然數(shù).為了與邏輯函數(shù)的K圖對應(yīng)方便,將和圖的結(jié)構(gòu)設(shè)成與K圖相似,閾算術(shù)函數(shù)的函數(shù)值填入對應(yīng)的和圖的方格內(nèi).圖3為三變量二值閾算術(shù)函數(shù)F(x1,x2,x3)的和圖.用和圖來表示閾算術(shù)函數(shù)有以下兩大優(yōu)點:
1) 比較復(fù)雜的閾算術(shù)函數(shù)式也可以化簡,不過由于應(yīng)用了非負運算和閾算術(shù)運算,往往很難對閾算術(shù)函數(shù)直接進行化簡.和圖的表示使閾算術(shù)函數(shù)的特點更加清晰,即使不同閾算術(shù)函數(shù)式的形式差別很大,只要和圖相同,那么它們也是等價的;
2) 閾算術(shù)函數(shù)相互間的運算可以由對應(yīng)的和圖得到,圖形化的表示方法能夠使運算過程變得直觀和簡單.以二值三變量閾算術(shù)函數(shù)F′(x1,x2,x3)=2x1x2+3x3為例,根據(jù)函數(shù)表達式,便可得到相應(yīng)的和圖,如圖4所示.
圖3 F(x1,x2,x3)的和圖Fig.3 The HE map of F(x1,x2,x3)圖4 F'x1,x2,x3 的和圖Fig.4 The HE map of F'(x1,x2,x3)
可以畫出邏輯電路圖如圖7所示.
圖5 ABC的K圖Fig.5 The K figure of ABC圖6 F'1的目標(biāo)和圖Fig.6 The target HE map of F'1圖7 F1的電路實現(xiàn)Fig.7 Circuit implementation of F1
同理可以得到
以及它們各自對應(yīng)的邏輯電路圖(圖8和圖9).
可以畫出邏輯電路圖如圖12所示.
圖8 F2的電路實現(xiàn)Fig.8 Circuit implementation of F2圖9 F3的電路實現(xiàn)Fig.9 Circuit implementation of F3
圖10 ABC的K圖Fig.10 The K figure of ABC圖11 F'2的目標(biāo)和圖Fig.11 The target HE map of F'2圖12 F4的電路實現(xiàn)Fig.12 Circuit implementation of F4
同理可以得到
以及它們所對應(yīng)的邏輯電路圖(圖13和圖14).
圖13 F5的電路實現(xiàn)Fig.13 Circuit implementation of F5圖14 F6的電路實現(xiàn)Fig.14 Circuit implementation F6
可以畫出邏輯電路圖如圖17所示.
圖15 ABC的K圖Fig.15 The K figure of ABC圖16 F'3的目標(biāo)和圖Fig.16 The target HE map of F'3圖17 F7的電路實現(xiàn)Fig.17 Circuit implementation of F7
ABC的K圖見圖18.觀察K圖,構(gòu)造一個閾算術(shù)函數(shù)F′4=A+B+C,該函數(shù)對應(yīng)的目標(biāo)和圖如圖19所示.根據(jù)目標(biāo)和圖的特征,最終構(gòu)建一個閾算術(shù)函數(shù):
F8(A,B,C,x7)=ABC·x7=〈A+B+C〉2.5〈x7〉0.5,
可以畫出邏輯電路圖如圖20所示.
圖18 ABC的K圖Fig.18 The K figure of ABC圖19 F'4的目標(biāo)和圖Fig.19 The target HE map ofF'4圖20 F8的電路實現(xiàn)Fig.20 Circuit implementation of F8圖21 總電路圖Fig.21 General circuit diagram
該數(shù)據(jù)選擇器就是將這8個部分的輸出端并聯(lián)到一起,在每一部分的輸入端,當(dāng)輸入電流信號為正即為流入,輸入電流信號為負即為流出.只需要通過x0,x1,x2,x3,x4,x5,x6,x7電流信號的0,1輸入來選擇要輸出的信號,1表示輸入該信號,0表示不輸入該信號,從而起到選擇數(shù)據(jù)的作用.總的邏輯電路圖如圖21所示.
(1) 首先將該函數(shù)化簡成最小項的形式:
對應(yīng)于G(A,B,C,x0,x1,x2,x3,x4,x5,x6,x7),可得x0=1,x1=0,x2=0,x3=0,x4=0,x5=1,x6=1,x7=1.
(2) 把0,5,6,7的邏輯電路信號輸入邏輯值都設(shè)為1,其余的邏輯值都設(shè)為0.
(3) 模擬電路.采用TSMC180 nm工藝參數(shù)在軟件Hspice C-2009.09上對電路進行Hspice[9]模擬,對應(yīng)于邏輯值1的電流為10 μA,這里vdd均采用1.8 V,模擬得到的電路瞬態(tài)特性如圖22所示.模擬結(jié)果表明,所設(shè)計電路具有正確的邏輯功能,電路的瞬時功耗為263.3 μW,體現(xiàn)了電流型電路功耗低的特點.
圖22 瞬態(tài)波形Fig.22 Transient waveform
從電流型電路功耗低這一點出發(fā),通過閾算術(shù)代數(shù)系統(tǒng),運用和圖設(shè)計電路,提出了一種新型電流型CMOS數(shù)據(jù)選擇器,經(jīng)過實例驗證,該數(shù)據(jù)選擇器能實現(xiàn)任意二值三變量函數(shù),功耗更低,速度更快.但是該數(shù)據(jù)選擇器電路圖較為復(fù)雜,性能不穩(wěn)定,因此進一步還可以從三變量、多變量、三值、多值邏輯函數(shù)等方面[10]繼續(xù)探索研究簡潔、高效的電路設(shè)計,使該數(shù)據(jù)選擇器變得更加通用.