Programmerbara kretsar och VHDL. Föreläsning 9 Digitalteknik Mattias Krysander Institutionen för systemteknik

Transkript

1 Programmerbara kretsar och VHDL Föreläsning 9 Digitalteknik Mattias Krysander Institutionen för systemteknik

2 Kursinformation Lektion 7 : Datorlektion i Modelsim+VHDL Lab 3 : Programmerbara kretsar och VHDL (Xilinx) LAX : Likt lab 2, VHDL ingår ej. Modelsim och Xilinx finns i salarna: Freja, Grinden, Bussen Logga in och kör Modelsim på ixtab med studentkonto och studentlösenord > ssh -Y LiU-ID@ixtab.edu.isy.liu.se > module load mentor/modeltech10.4c > vsim

3 4 Dagens föreläsning Programmerbara kretsar och VHDL Introducerande VHDL-exempel VHDL för Kombinationskretsar Grindar, Multiplexer, Komparator, ROM VHDL för sekvenskretsar D-vippor, T-vippor, Enpulsare, Räknare Exemplifierad arbetsgång Labförberedelser och labgenomförande

4 Programmerbara kretsar och VHDL

5 6 Programmerbara kretsar Istället för att koppla ihop grindar eller konstruera egna integrerade kretsar så finns det kretsar vars funktion kan programmeras Programmable logic device (PLD) Olika tekniker har använts PROM kan användas för godtycklig funktion Idag används primärt CPLD eller FPGA

6 7 Programmerbara kretsar PLD = Programmable Logic Device CPLD = Complex PLD, i princip flera PLD-er på ett chip ex: 108 vippor produkttermer FPGA = Field Programmable Gate Array vippor Look-up-tables (LUT) 500 Mb RAM Digital Signal Processing (DSP) Processor

7 8 21/09/16! 11! CPLD - CPLD!E!Complex!Programmable!Logic!Device! konstruktion Grundblocket i en CPLD är oftast en uppsättning av ORgrindar vars ingångar är kopplade till ANDgrindar Grundblocket i en CPLD består oftast av ett AND-OR-nät AND-grindarnas ingångar är programmerbara Ingångarna till ANDgrindarna är programmerbara Kallas Programmable Logic Array (PLA) Macrocell

8 9 CPLDn på labben (Xilinx XC9572) Fyra 36V18-block 18 utsignaler från 36 insignaler Switchmatris för att koppla ihop in- och utgångar samt inoch utsignaler till/från blocken Bild från datablad

9 14 VHDL (Very high speed integrated circuit Hardware Description Language) 10 VHDL! VHDL =Very High Speed Integrated Circuit Hardware Description Language Ett hårdvarubeskrivande programspråk för att: Syntetisera Syntetisera (Xilinx) (Xilinx) Hårdvara Hårdvara Simulera Simulera (ModelSim) (ModelSim) Kurvor Kurvor

10 11 Konstruktion med CPLD Rita kretsschema Översätt till VHDL (vhd-fil) Simulera kretsen i Modelsim (le7) Syntetisera i Xilinx (skapa en jed-fil) passar in (optimerar) kretsen på den aktuella CPLD:n bestämmer vilka in och utgångar som kommer att användas Programmering (använd jed-filen) speciell mjuk- och hård-vara används för att programmera CPLD:n

11 Introducerande VHDL-exempel

12 15 VHDL-exempel - enpulsaren library ieee; use ieee.std_logic_1164.all; entity enpulsare is port(clk, x : in std_logic; u : out std_logic); end enpulsare; clk x enpulsare u architecture ekvationer of enpulsare is signal q, q_plus : std_logic; begin process(clk) begin if rising_edge(clk) then x q_plus D Q q q <= q_plus; end if; end process; clk C q_plus <= x; -- q + = f(q,x) u <= (not q) and x; -- u = g(q,x) end ekvationer; & u

13 16 VHDL-exempel - enpulsaren library ieee; use ieee.std_logic_1164.all; entity enpulsare is port(clk, x : in std_logic; u : out std_logic); end enpulsare; clk x enpulsare u architecture ekvationer of enpulsare is signal q, q_plus : std_logic; begin process(clk) begin if rising_edge(clk) then x q_plus D Q q q <= q_plus; end if; end process; clk C q_plus <= x; -- q + = f(q,x) u <= (not q) and x; -- u = g(q,x) end ekvationer; & u

14 17 VHDL-exempel - enpulsaren library ieee; use ieee.std_logic_1164.all; entity enpulsare is port(clk, x : in std_logic; u : out std_logic); end enpulsare; clk x enpulsare u architecture ekvationer of enpulsare is signal q, q_plus : std_logic; begin process(clk) begin if rising_edge(clk) then x q_plus D Q q q <= q_plus; end if; end process; clk C q_plus <= x; -- q + = f(q,x) u <= (not q) and x; -- u = g(q,x) end ekvationer; & u

15 18 VHDL-exempel - enpulsaren library ieee; use ieee.std_logic_1164.all; entity enpulsare is port(clk, x : in std_logic; u : out std_logic); end enpulsare; clk x enpulsare u architecture ekvationer of enpulsare is signal q, q_plus : std_logic; begin process(clk) begin if rising_edge(clk) then x q_plus D Q q q <= q_plus; end if; end process; clk C q_plus <= x; -- q + = f(q,x) u <= (not q) and x; -- u = g(q,x) end ekvationer; & u

16 19 VHDL-exempel - enpulsaren library ieee; use ieee.std_logic_1164.all; entity enpulsare is port(clk, x : in std_logic; u : out std_logic); end enpulsare; clk x enpulsare u architecture ekvationer of enpulsare is signal q, q_plus : std_logic; begin process(clk) begin if rising_edge(clk) then x q_plus D Q q q <= q_plus; end if; end process; clk C q_plus <= x; -- q + = f(q,x) u <= (not q) and x; -- u = g(q,x) end ekvationer; & u

17 20 Hur ser ett VHDL-program ut? entity namn1 is -- beskrivning av in- och utgångar end entity namn1; Gränssnitt mot omvärlden architecture namn2 of namn1 is -- beskrivning av interna signaler begin Innehåll -- beskrivning av funktion end architecture namn2; VHDL är inte case sensitive, små eller stora bokstäver spelar ingen roll, ej heller mellanslag.

18 VHDL för kombinationskretsar

19 22 VHDL för kombinatoriska kretsar a b & 1 y x 1 c entity knet is port(a,b: in std_logic; c: out std_logic); end entity knet; architecture firsttry of knet is signal x,y : std_logic; begin c <= not (x or y); x <= a and b; y <= a or b; end architecture firsttry; Parallellt exekverande satser. Om a ändras så körs x <= a and b och y <= a or b, vilket gör att c <= not (x or y) körs. Ordningen spelar ingen roll.

20 23 Vad betyder ett VHDL-program? Syntetisering (Xilinx) x <= a and b; betyder att en AND-grind kopplas in mellan trådarna a, b och x Endast en tilldelning på x tillåten. Simulering (ModelSim) x <= a and b; är en parallellt exekverande sats som körs om a eller b ändras Än så länge är ordningen mellan satserna oviktig Programmera aldrig i VHDL! Tänk hårdvara => översätt till VHDL

21 24 VHDL för kombinatoriska kretsar Kombinationskretsar implementeras med vanlig signaltilldelning c <= a and b; when-else är en generaliserad mux.

22 when-else 25 Är en parallell sats, concurrent statement Endast utanför process utsignal <= uttryck 1 when villkor 1 else Lägg märke till: uttryck 2 when villkor 2 else... uttryck n-1 when villkor n-1 else uttryck n; Det finns bara en <= i satsen. Noll, ett eller flera villkor är sanna s = u 1 v 1 + u 2 v 1 v u n-1 v 1 v 2 v n-2 v n-1 + u n v 1 v 2 v n-2 v n-1 when-else kan uttrycka vilken Boolesk funktion som helst!

23 26 En multiplexer d(0) d(1) d(2) d(3) y d = (d(0), d(1), d(2), d(3)) s = (s(1), s(0)) s(1) s(0) entity mux is port( d: in std_logic_vector(0 to 3); s: in std_logic_vector(1 downto 0); y: out std_logic); end entity mux;

24 27 Multiplexern, forts architecture behavior2 of mux is begin y <= d(0) when s = 00 else d(1) when s = 01 else d(2) when s = 10 else d(3); end architecture behavior2; d(0) d(1) d(2) d(3) s(1) s(0) y

25 28 Komparator architecture beh of sys is signal x0: std_logic_vector(3 downto 0); signal x1: std_logic_vector(3 downto 0); signal is_equal: std_logic; begin is_equal <= 1 when (x1 = x0) else 0 ; end architecture beh;

26 address 29 ROM use ieee.numeric_std.all; architecture beh of memory is signal data, address : std_logic_vector(1 downto 0); type ROM is array(0 to 3) of std_logic_vector(1 downto 0); constant ROM_content : ROM := (0 => "00", 1 => "01", 2 => "11", 3 => "10"); begin address <= x1 & x0; -- skapa vektor data <= ROM_content(to_integer( unsigned(address))); d0 <= data(0); d1 <= data(1); end beh; -- ta ut komponenter data

27 30 Vad har vi så långt? entity beskriver gränssnittet architecture beskriver innehållet Mellan begin och end har vi parallella satser. vanlig signaltilldelning c <= a and b; when-else är en generaliserad mux. Ovanstående används för kombinatorik utanför process-satsen

28 VHDL för sekvenskretsar

29 32 VHDL för sekvenskretsar process-satsen if-then-else Endast inuti process-sats!

30 33 process Process-satsen exemplifierad på en D-vippa: entity de is port(q_plus,clk: in STD_LOGIC; q: out STD_LOGIC); end de; architecture d_vippa of de is begin process(clk) begin if rising_edge(clk) then q <= q_plus; end if; end process; end d_vippa; Det gamla värdet på q ligger kvar om ett nytt ej specas. Processen exekveras när clk ändras i känslighetslistan q uppdateras på positiv clk-flank

31 34 T-vippa Funktion toggle = 0 => q + = q toggle = 1 => q + = q process(clk) begin if rising_edge(clk) then if (toggle = '1') then q <= not(q); end if; end if; end process; Om q inte uppdateras i process-satsen behåller den värdet.

32 36 Överraskande konsekvenser av processer process(clk) begin if rising_edge(clk) then y <= x; z <= y; end if; end process; Låt z = y = 0 Sätt x = 1 och klocka en gång. Då blir väl z = y = 1?

33 37 Så här blir det! Inuti klockad process x y z y <= x; z <= y; y + = x; z + = y; y = y+; z = z+;

34 38 if-then-else if (uttryck 1) then (sats 1) elsif (uttryck 2) then (sats 2) elsif (uttryck n-1) then (sats n-1) else Endast inuti process Motsvarar when-else Observera stavning på elsif (sats n) end if;

35 39 Exempel: D-vippa med asynkron clear process(clk,clr) begin if clr = '1' then q <= '0'; elsif rising_edge(clk) then q <= q_plus; end if; end process; Lägg till asynkorn insignal i känslighetslistan Synkron funktion Asynkron funktion

36 VHDL beskriver hårdvara! En VHDL-modul består av två delar a) entity, som beskriver gränssnittet b) architecture, som beskriver innehållet 2. För att göra kombinatorik används a) Booleska satser: z <= x and y; b) when-else-satser 3. För att göra sekvensnät används (en eller flera) process(clk)-satser a) enn if rising_edge(clk) end if; b) Booleska satser: z <= x and y; c) if-then-else-satser Samtidiga satser VL får vippa på sig Alla klockas samtidigt

37 41 std_logic signal reset: std_logic; Reset kan nu anta följande värden: simulering ej i denna kurs U : Uninitialized X : Forcing Unknown 0 : Forcing 0 1 : Forcing 1 Z : High impedance W : Weak Unknown L : Weak 0 H : Weak 1 - : Don t care tristate t ex för att speca sanningstabell

38 42 Numeric_std use IEEE.NUMERIC_STD.ALL - lägger till paket signal q: unsigned(3 downto 0); -- 4 bit ctr... q <= q + 1; Notera hur värdet av if q = heltal, bitvektor samt q <= 0011 ; bit anges q(0) <= 1 ; Dvs vi kan hantera q både som en boolesk vektor och som ett tal på intervallet [0,15];

39 43 Vi rekommenderar Använd endast IEEE.STD_LOGIC_1164.ALL std_logic och std_logic_vector Vill ni räkna inkludera IEEE.NUMERIC_STD.ALL och använd unsigned Skippa bit. Tristate och don t care saknas. Skippa integer. Går ej att indexera på bit-nivå.

40 44 Typkonvertering Bitvektorer med ett specificerat antal bitar V: std_logic_vector(3 downto 0) unsigned(v) std_logic_vector(u) U : unsigned(3 downto 0) to_integer(u) to_unsigned(i,4) Heltal I : integer

41 4-bitsräknare med asynkron clear library IEEE; use IEEE.STD_LOGIC_1164.ALL; use IEEE.NUMERIC_STD.ALL; entity 4bitcounter is port(clk, ce, clr : in std_logic; rco : out std_logic; counter: out std_logic_vector(3 downto 0)); end 4bitcounter; 4bitcounter architecture beh of 4bitcounter is signal q: unsigned(3 downto 0); begin process(clk,clr) begin if clr = 1 then q <= 0000 ; Alternativ: q <= to_unsigned(0,4); elsif rising_edge(clk) then if ce = 1 then q <= q + 1; -- övergång 15->0 automatiskt end if; end if; end process; rco <= 1 when ((ce = 1 ) and (q = 15)) else 0 ; counter <= std_logic_vector(q); end beh; 45

42 47 Asynkron reset process(clk,reset) begin if reset = 1 then q <= 0 ; elsif rising_edge(clk) then q <= x; end if; end process; Synkron reset process(clk) begin if rising_edge(clk) then if reset= 1 then q <= 0 ; else q <= x; end if; end if; end process; Känslighetslistan: clk ska alltid vara med Ev. asynkrona insignaler till vippa/räknare/register Andra signaler ska ej vara med.

43 Exemplifierad arbetsgång Labförberedelser och labgenomförande

44 räknare komparator = library IEEE; use IEEE.STD_LOGIC_1164.ALL; use IEEE.NUMERIC_STD.ALL; entity pulsdetektor is port( clk, x : in std_logic; reset : in std_logic; L : in std_logic_vector(3 downto 0); u : out std_logic); end pulsdetektor; Detekterar pulser av längd L. L = 3 clk x u q k 49 architecture Behavioral of pulsdetektor is signal q : unsigned(3 downto 0); signal CLR, CE, k: std_logic; begin -- hela vår konstruktion x 1 end Behavioral; reset CLR CE reset k & u clk clk q 4 L 4 L

45 räknare komparator = 50 Räknaren -- insignaler till räknare CE <= x; CLR <= not x; x 1 reset -- räknare ctr16: process(clk,reset) begin if reset = '1' then -- asynkron clear q <= "0000"; elsif rising_edge(clk) then if CLR = '1' then -- synkron clear q <= "0000"; elsif CE = '1' then -- count enable q <= q + 1; -- övergång från 15->0 automatiskt end if; end if; end process ctr16; clk CLR CE reset clk q 4 k L & 4 u

46 räknare komparator = 51 Komparator och utsignal -- komparator k <= '1' when q = unsigned(l) else '0'; -- utsignal u <= CLR and k; & u x 1 CLR k CE reset reset clk clk q 4 L 4

47 räknare komparator = library IEEE; use IEEE.STD_LOGIC_1164.ALL; use IEEE.NUMERIC_STD.ALL; entity pulsdetektor is... end pulsdetektor; architecture Behavioral of pulsdetektor is... begin -- insignaler till räknare CE <= x; CLR <= not x; Blockschema ->VHDL Varje block har motsvarande kod. Överensstämmande signalnamn i blockschema och kod räknare ctr16: process(clk,reset)... end process ctr16; x 1 CLR CE k & u -- komparator k <= '1' when q = unsigned(l) else '0'; -- utsignal u <= CLR and k; end Behavioral; reset clk reset clk q 4 L 4 L

48 Simulering i ModelSim 53 Utdrag ur fil för att definiera insignaler och köra en simulering. # sim.do... # clk Periodtid 100 ns force -freeze sim:/pulsdetektor/clk 1 0, r 100 # reset force -freeze sim:/pulsdetektor/reset 0 0, 1 50, 0 90 # x force -freeze sim:/pulsdetektor/x 0 0, 1 105, 0 505, 1 705, # L force -freeze sim:/pulsdetektor/l run 1300 Starta simulering i Transcriptfönstret: VSIM > do sim.do L = 3 clk x u q k

49 ModelSim 54

50 Får det plats? functional block inputs! 55 produkttermer! 5 AND/vippa pinnar! Vad kan ta slut? Pinnar Vippor Produkttermer vippor! makrocell!

51 räknare komparator = & 56 u x 1 CLR k CE Slutsatser reset clk reset clk q 4 L 4 Vi ritar logiska blockscheman först! Vi har samma struktur på koden som på blockschemat! Alltså: små process-satser som precis motsvarar ett block. Vi har bra koll på mängden hårdvara. Använda produkttermer L3-L0, x, u, clk, reset Beräkning av 4 tillstånd + 1 utsignal 4 D-vippor i 4-bitsräknaren L3-L0, q3-q0, x

52 57 Digitaltekniska byggblock (använd dessa) MUX Komparator ROM Räknare AND/OR-grindar + inverterare D-vippa T-vippa Enpulsare med synkronisering Komponenternas kod i pdf:en Digitaltekniska byggblock.

53 58 Examination lab 3 Vid examination ska logiskt blockschema, VHDL-kod samt korrekt fungerande krets uppvisas. Logiskt blockschema Blocken ska vara valda ur digitaltekniska byggblock. VHDL-kod Varje block ska motsvara ett kodavsnitt Överensstämmande signalnamn i blockschema och kod.

54 Digitalteknik Mattias Krysander