VHDL2. Sekvensnätsexemplet

Transkript

1 VHDL2 Moder portsatsen Datatyper Ett exempel, stegmotorstyrning Labben Hierarkisk konstruktion, instantiering Kombinatorisk process Record, loop Sekvensnätsexemplet 1(0) 1(0) 1(1) 00 0(0) (1) 0(0) 0(0) 0(0) x q d D l u clk 1) Gör en process(clk) av detta 2) Gör kombinatorik av det här! 2 1

2 entity sn is port(x,clk: in std_logic; u: out std_logic); end sn; architecture booleq2 of sn is signal q: std_logic_vector(1 downto 0); -- delta process(clk) if rising_edge(clk) case q is when 00 => if x= 1 then q <= 01 ; -- överhoppade rader when 10 => if x= 0 then q <= 00 ; when others => q <= 00 ; end case; end process; -- lambda u <= x and q(1); end booleq2; 3 VHDL beskriver hårdvara! 1. En VHDL-modul består av två delar entity, som beskriver gränssnittet architecture, som beskriver innehållet 2. För att göra kombinatorik används 1. Booleska satser z <= x and y; 2. with-select-when-satser 3. when-else-satser 3. För att göra sekvensnät används (en eller flera) process(clk)-satser 1. enn if rising_edge(clk) 2. booleska satser z <= x and y; 3. case-when-satser 4. if-then-else-satser Samtidiga satser VL får vippa på sig Alla klockas samtidigt 4 2

3 Moder : portsatsen OBS, om en utsignal också används inuti nätet, så ska den deklareras som buffer. in & & out buffer in & inout in & out 5 Datatyper VHDL är ett mycket starkt typat språk! Inbyggda typer är bl a: Typ Möjliga värden operatorer integer bit boolean bit_vector 0, 1 false, true Obegränsad vektor av bit ABS ** * / MOD REM + - (tecken) + - = /= < <= > >= NOT = /= < <= > >= AND NAND OR NOR XOR XNOR NOT & SLL SRL SLA SRA ROL ROR = /= < <= > >= AND NAND OR NOR XOR XNOR 6 3

4 Exempel: 4-bits komparator a 4 b 4 equal entity comp4 is port(a,b: in BIT_VECTOR(3 downto 0); equal: out BIT); end entity namn1; architecture simple of comp4 is equal <= 1 when a=b else 0 ; end simple; 7 std_logic istället för bit signal reset: std_logic; Reset kan nu anta följande värden: simulering ej i denna kurs t ex för att speca sanningstabell 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 8 4

5 std_logic forts. För att få tillgång till std_logic skriver man följande i början av filen library IEEE; use IEEE.STD_LOGIC_1164.ALL; (IEEE = International Electrical & Electronics Engineers) Nu får du datatyperna std_logic och std_logic_vector och kan använda dem pss bit och bit_vector. Man kan (men bör inte) dessutom lägga till raden use IEEE.STD_LOGIC_UNSIGNED.ALL Då kan man göra aritmetik med std_logic_vector Användning av STD_LOGIC_UNSIGNED REKOMMENDERAS INTE! 9 STD_LOGIC_UNSIGNED Nu kan du göra följande: signal q: std_logic_vector(3 downto 0); -- 4 bit ctr... q <= q + 1; if q=10... q <= 0011 ; q(0) <= 1 ; Dvs vi kan hantera q både som en boolesk vektor och som ett tal på intervallet [0,15]; VHDL är ett språk som har operator overloading. 10 5

6 VARNING! Undvik om möjligt användning av: STD_LOGIC_UNSIGNED STD_LOGIC_ARITH STD_LOGIC_SIGNED Dessa bibliotek är inte IEEE standard-bibliotek, och orsakar dessutom lätt problem vid typkonvertingar. Använd istället: NUMERIC_STD 11 NUMERIC_STD NUMERIC_STD ger datatyperna signed och unsigned samt aritmetik (och diverse funktioner) på dessa, och vi kan skriva: signal q: unsigned(3 downto 0); -- 4 bit ctr... q <= q + 1; if q=10... q <= 0011 ; q(0) <= 1 ; Dvs unsigned är ett tal [0, 15] och kan även hanteras som en boolesk vektor. Googla på why numeric_std is preferred för mer info. 12 6

7 library IEEE; use IEEE.STD_LOGIC_1164.ALL; use IEEE.NUMERIC_STD.ALL; entity counter is port(clk, clear: in std_logic; q: buffer unsigned(3 downto 0)); end counter; architecture simple of counter is process(clk) if rising_edge(clk) then if clear= 0 then q <= 0000 ; elsif q=9 then q <= 0000 ; else q <= q + 1; end process; end simple; 4-bits dekadräknare med synkron clear clk q(3) clear q(0) 13 Vi rekommenderar ang. typer Använd endast std_logic och std_logic_vector (använd bara som vektor) unsigned (använd som vektor + aritmetik) Vill ni räkna inkludera NUMERIC_STD Skippa integer. Går ej att indexera på bit-nivå. Skippa bit. Tristate och don t care saknas. 14 7

8 Uppräknade datatyper Vi kan skapa egna datatyper. Det kan vara händigt vid konstruktion av sekvensnät med symboliska namn på tillstånden: type state is (odd,even);... signal q: state; ett delta-nät case q is when odd => if x= 1 then q <= even; else q <= odd; when even => if x= 1 then q <= odd; else q <= even; end case; 15 Några praktiska småsaker Konstanter signal bus: unsigned(3 downto 0); constant max: unsigned(3 downto 0) := 1111 ;... if bus = max then... Alias signal address: unsigned(31 downto 0); alias top_ad: unsigned (3 downto 0) is address(31 downto 28); Concatenation signal bus: unsigned(1 downto 0); signal a,b: std_logic; bus <= a & b; 16 8

9 En adderare library IEEE; use IEEE.STD_LOGIC_1164.ALL; use IEEE.NUMERIC_STD.ALL; entity adder is port(a,b: in UNSIGNED(3 downto 0); s: out UNSIGNED(4 downto 0)); end adder; architecture simple of adder is -- zero extension s <= ( 0 & a) + ( 0 & b); -- sign extension -- s <= (a(3) & a) + (b(3) & b); end simple; 17 Asynkron/synkron reset? process(clk,rst) if rst= 1 then q <= 0 ; elsif rising_edge(clk) then q <= q and x; end process; process(clk) if rising_edge(clk) then if rst= 1 then q <= 0 ; else q <= q and x; end process; 18 9

10 Exempel: Stegmotorstyrning (ur Lennart Bengtsson: Digitala system) Hex KB 4 strobe S För varje ändring enligt : 0001->1001->1000->1010->0010->0110->0100->0101-> rör sig motorn ett steg medurs. Första knapptryckningen anger riktning (0=medurs,1=moturs), andra tryckningen anger antal steg. 19 Dela upp nätet Hex KB 4 strobe S1 med mot S2 Lyssna på tangentbordet Styr stegmotorn 20 10

11 riktning [0,1] antal steg [0,15] Synkade laddpulser, 1 klockpuls lång uppdelning av sekvensnätet S

12 Nu kan vi konstruera S2 direkt. Utgångarna ska vara hasardfria, så vi gör en Mooremaskin med U=Q medurs moturs Strobeseparatorn S10 0(00) 0(00) 1(00) 1(10) (01) strobes riktning steg 0(00) 1(00) 0(00) 25 clk rst strobe kb Blockschema => VHDL D 4 library ieee; use ieee.std_logic_1164.all; use ieee.numeric_std.all; strobes kb(0) riktningsregister S10 r LOAD D s x LOAD >=1 CE y entity S is port(kb: in unsigned(3 downto 0); clk,strobe,rst: in std_logic; u: out unsigned(3 downto 0)); end S; architecture ett of S is signal s,r,x,y,strobes: std_logic; signal s10: unsigned (1 downto 0); signal q: unsigned(3 downto 0); signal: med,mot: std_logic; -- hela vår konstruktion end S; med mot S2 u 26 12

13 clk rst Blockschema => VHDL strobe kb D strobes 4 Vi börjar med dom små blocken... S10 r s LOAD CE riktningsregister >=1 y kb(0) LOAD D x med mot S2 27 Blockschema => VHDL -- synkvippa sync: process(clk) if rising_edge(clk) then strobes <= strobe; end process sync; -- riktningsregister riktning: process(clk) if rising_edge(clk) then if rst='1' then x <= '0'; elsif r = '1' then x <= kb(0); end process riktning; -- motorstyrning med <= not x and y; mot <= x and y; 28 13

14 Blockschema => VHDL clk rst strobe kb D strobes 4 Sekvensnätet S10... S10 r s LOAD CE riktningsregister >=1 y kb(0) LOAD D x med mot S strobeseparator S10 kbfix: process(clk) if rising_edge(clk) then case s10 is when "00" => if strobes= 1 then s10 <= "01"; when "01" => if strobes= 0 then s10 <= "11"; when "11" => if strobes= 1 then s10 <= "10"; when "10" => if strobes= 0 then s10 <= "00"; when others => null; end case; if rst='1' then s10 <= "00"; end process kbfix; Strobeseparatorn S10 0(00) 0(00) 1(00) 1(10) (01) 0(00) 1(00) 0(00) -- ut från S10 r <= 1 when (s10=0 and strobes= 1 ) else 0 ; s <= 1 when (s10=3 and strobes= 1 ) else 0 ; strobes riktning steg 30 14

15 clk rst strobe kb(0) strobes riktningsregister D S10 r LOAD D s Blockschema => VHDL x kb LOAD >=1 S2 4 med mot CE y Räkneverket räknaren ctr16: process(clk) if rising_edge(clk) then if rst='1' then q <= "0000"; elsif s='1' then q <= kb; elsif q>0 then q <= q-1; end process ctr16; -- ut från räknaren y <= 0 when q=0 else 1 ; -- S2 hemuppgift end ett; 31 Modelsim reset

16 VHDL-kod + testbänk library IEEE; use IEEE.STD_LOGIC_1164.ALL; use IEEE.NUMERIC_STD.ALL; entity Decoder is Port (clk : in STD_LOGIC; strobe: in STD_LOGIC; q : out UNSIGNED (3 downto 0)); end Decoder; architecture Behavioral of Decoder is signal x, y :STD_LOGIC; process(clk) if rising_edge(clk) then code code end process; code code end Behavioral; library IEEE; use IEEE.STD_LOGIC_1164.ALL; use IEEE.NUMERIC_STD.ALL; entity Decoder_tb is end Decoder_tb; architecture Behavioral of Decoder_tb is component Decoder Port (clk : in STD_LOGIC; strobe : in STD_LOGIC; q : out UNSIGNED (3 downto 0)); end component; -- Testsignaler signal clk : STD_LOGIC; signal strobe : STD_LOGIC; signal q : UNSIGNED(3 downto 0); uut: Decoder PORT MAP( clk => clk, strobe => strobe, q => q); -- Klocksignal 10MHz clk <= not clk after 50 ns; strobe <= 0, 1 after 1 us, 0 after 2 us; end; 33 VHDL-kod + testbänk library IEEE; use IEEE.STD_LOGIC_1164.ALL; use IEEE.NUMERIC_STD.ALL; entity Decoder is Port (clk : in STD_LOGIC; strobe: in STD_LOGIC; q : out UNSIGNED (3 downto 0)); end Decoder; architecture Behavioral of Decoder is signal x, y :STD_LOGIC; process(clk) if rising_edge(clk) then code code end process; code code end Behavioral; library IEEE; use IEEE.STD_LOGIC_1164.ALL; use IEEE.NUMERIC_STD.ALL; entity Decoder_tb is end Decoder_tb; architecture Behavioral of Decoder_tb is component Decoder Port (clk : in STD_LOGIC; strobe : in STD_LOGIC; q : out UNSIGNED (3 downto 0)); end component; -- Testsignaler signal clk : STD_LOGIC; signal strobe : STD_LOGIC; signal q : UNSIGNED(3 downto 0); uut: Decoder PORT MAP( clk => clk, strobe => strobe, q => q); -- Klocksignal 10MHz clk <= not clk after 50 ns; strobe <= 0, 1 after 1 us, 0 after 2 us; end; 34 16

17 Testbänk VHDL-kod + testbänk Decoder (uut) clk clk (x,y) q strobe strobe 4 35 Slutsatser Vi ritade blockschema först! Vi har samma struktur på koden som på blockschemat! Alltså: små processer som precis motsvarar ett block. Vi har bra koll på mängden hårdvara För CPLD 36 17

18 Lab: Seriell IR-överföring (Y3) rst 1 4 clk 1000 Hz Skruva tills ungefär 1000 Hz startbit x 1 x 2 x 4 x 8 16 klockintervall stopp -bit 8 klockpulser läs av första databit testa om signalen fortfarande är hög starta mätningen 37 Lab: UART (D2) clk = 100 MHz enda tillåtna klockan 868 CK 38 18

19 Hierarkisk konstruktion Exempel: vi bygger en 8/1-mux mha 2 st 4/1-muxar. Vi använder 4-1-muxen som komponent: d(0) d(1) d(2) d(3) y Kod finns i fö 1 Flera olika architectures s(1) s(0) 39 En 8-1 mux lo a u up b 40 19

20 En 8-1 mux entity mux8 is port( a: in unsigned(7 downto 0); b: in unsigned (2 downto 0); u: out std_logic); end entity mux; architecture mixed of mux8 is -- deklarera komponenten -- deklarera lokala signaler -- instantiera en mux -- instantiera en mux till -- och några grindar och koppla ihop muxarna end architecture mixed; mux architecture mixed of mux8 is -- deklarera 4-1 muxen component mux is port( d: in unsigned (3 downto 0); s: in unsigned (1 downto 0); y: out unsigned); end component mux; -- och några lokala signaler signal lo,up: std_logic; -- instantiera två muxar m1: mux port map(a(3 downto 0), b(1 downto 0),lo); m2: mux port map (a(7 downto 4), b(1 downto 0),up); -- och koppla ihop dem u <= lo when b(2)= 0 else hi; end architecture mixed; 42 20

21 Vi rekommenderar Föregående exempel lönar sig knappast. Det är ju enklare att skriva om 4-muxen till en 8-mux. Hierarkisk konstruktion blir dock lämplig för stora byggen, tex processorer. component-satsen används även i testbänkar. om man vill simulera ett bygge bestående av flera CPLD-er är component-satsen mycket bra att ha! 43 OBS! Alla insignaler!!! Ej klockan! Kombinatoriska processer använd bara om du måste a c u b process (a,b,c) if b = 1 then u <= c; else u <= a; end process; u <= c when b= 1 else a; Den Booleska funktionen måste vara specad för alla insignalkombinationer! u = f(a,b,c) 44 21

22 1) Gör en process(x,q) av detta Sekvensnät2 x q d/l qplus D u 2) Gör en process(clk) av detta clk 1(0) 1(0) 1(1) 0(0) (0) 0(0) 10 0(0) 1(1) 45 Samma skal som förra gången Sekvensnät2 -- tillståndsvipporna process(clk) if rising_edge(clk) q <= qplus; end process; 1(0) 1(0) 00 0(0) (0) 0(0) 1(1) 10 0(0) 1(1) -- delta och lambda process(x,q) u <= 0 ; -- default-värden qplus <= 00 ; if x= 1 then if q= 00 then qplus <= 01 ; elsif q= 01 then qplus <= 11 ; elsif q= 11 then qplus <= 10 ; u <= 1 ; elsif q= 10 then qplus <= 10 ; u <= 1 ; end process; Då vi förutsätter att u <= 0 och qplus <= 00 så behöver endast avvikelser från det anges i if-satsen i den kombinatoriska processen

23 Ett varningsord 1: Multipel tilldelning fel: mjukvarutänk One: process(clk)... if nagot then flag <= 1 ; end process one; Two: process(clk)... if annat then flag <= 0 ; end process two; rätt: hårdvarutänk Three: process(clk)... if nagot then flag <= 1 ; elsif annat then flag <= 0 ; end process three; nagot annat S R flag 47 Latch Oönskat (oklockat, asynkront) minneselement pga kombinatorisk loop Kan uppstå pga: Ofullständigt specad kombinatorik Ihopkoppling av Mealynät x >=1 y x y

24 Ett varningsord 2: Oönskade latchar Vid select-sats och case-sats kräver VHDL att alla fall täcks! Det är inte nödvändigt vid if-sats och when-sats! Ibland är detta bra och ibland är det förskräckligt dåligt. För de fall som inte täcks bibehålls föregående utsignal. Ofullst. Sekvensnät (inuti klockad process) if count= 1 then q <= q+1; Kombinatorik? u <= y when s(1) = 1 else x when s(0) = 1 ; Fullst. if count= 1 then q <= q+1; else q <= q; u <= y when s(1) = 1 else x when s(0) = 1 else 0 when others; 49 record type controlword is record alu: unsigned(3 downto 0); tobus: unsigned(2 downto 0); halt: std_logic; end record; type styrminne is array(0 to 31) of controlword; signal styr1, styr2: controlword; signal mm: styrminne; -- styr1.halt <= 0 ; styr1.alu <= "1011"; styr1.tobus <= styr2.tobus; -- mm(3) <= ( 1011, 111, 0 ); 51 24

25 Lite överkurs - loop Vi har en buss x, med 32 ledningar. Vi vill bilda paritet mellan alla ledningarna. Loopen beskriver på ett kompakt sätt det kombinatoriska nätet! entity grr is port ( x : in UNSIGNED (31 downto 0); pout : out STD_LOGIC); end grr; architecture Behavioral of grr is -- kombinatoriskt nät process(x) variable p: std_logic := 0 ; for i in 31 downto 0 loop p := p xor x(i); end loop; if p= 1 then pout <= '1'; else pout <= '0'; end process; end Behavioral; p är en variabel Ingen HW vanlig tilldelning x(30) x(29) x(28) =1 =1 =1... p x(31) 52 25