Subversion Repositories usb11_sim_model

/USB_Stimuli.vhd

/usb_tc_02.vhd

/TC_Copy.bat

/usb_tc_02.out

/usb_fs_slave.vhdl

/usb_FS_monitor.vhd

/usb_test.do

/USB FS TestBench.pdf Cannot display: file marked as a binary type. svn:mime-type = application/octet-stream

/USB FS TestBench.pdf

USB FS TestBench.pdf Property changes : Added: svn:mime-type ## -0,0 +1 ## +application/octet-stream \ No newline at end of property Index: USB_Commands.vhd =================================================================== --- USB_Commands.vhd (nonexistent) +++ USB_Commands.vhd (revision 2) @@ -0,0 +1,509 @@ +--==========================================================================================================-- +-- -- +-- Copyright (C) 2011 by Martin Neumann martin@neumanns-mail.de -- +-- -- +-- This source file may be used and distributed without restriction provided that this copyright statement -- +-- is not removed from the file and that any derivative work contains the original copyright notice and -- +-- the associated disclaimer. -- +-- -- +-- This software is provided ''as is'' and without any express or implied warranties, including, but not -- +-- limited to, the implied warranties of merchantability and fitness for a particular purpose. in no event -- +-- shall the author or contributors be liable for any direct, indirect, incidental, special, exemplary, or -- +-- consequential damages (including, but not limited to, procurement of substitute goods or services; loss -- +-- of use, data, or profits; or business interruption) however caused and on any theory of liability, -- +-- whether in contract, strict liability, or tort (including negligence or otherwise) arising in any way -- +-- out of the use of this software, even if advised of the possibility of such damage. -- +-- -- +--==========================================================================================================-- +-- -- +-- File name : usb_commands.vhd -- +-- Author : Martin Neumann martin@neumanns-mail.de -- +-- Description : Defines, functions and procedures for the usb_Stimuli.vhd file - the USB data source for -- +-- the test bench file. -- +-- -- +--==========================================================================================================-- +-- -- +-- Change history -- +-- -- +-- Version / date Description -- +-- -- +-- 01 05 Mar 2011 MN Initial version -- +-- -- +-- End change history -- +--==========================================================================================================-- +-- -- +-- USB control concept -- +-- ------------------- -- +-- The usb signal controls the usb command execution and its proper timing : -- +-- -- +-- Each command in the test case file 'usb_stimuli.vhd' is a procedure call with an output signal 'usb'. -- -- +-- Its states (of type usb_action) control the correct timing sequence of the process 'p_stimuli_bit' in -- +-- the file'usb_master'. This procedure sets the signal usb first to any one of the active states, then -- +-- after completion to inactive (idle). -- +-- -- +--==========================================================================================================-- +-- -- +-- Syntax Examples -- +-- -- +-- Procedure Function, Parameters -- +-- -- +-- list (T_No, 30); Test No listed in transcript and report file -- +-- List ("Any Text Message "); Message any text -- +-- Setup (usb, X"00", X"0"); usb setup: device address, endp address (+CRC5) -- +-- send_D0 (usb, (X"10",X"46",X"11",X"47", -- +-- X"12",X"48",X"13",X"49")); usb write data0 : byte string (+CRC16) -- +-- send_D1 (usb, (X"20",X"36",X"21",X"37", -- +-- X"22",X"38",X"23",X"39")); usb write data1 : byte string (+CRC16) -- +-- send_ACK (usb); usb ACK Handshake -- +-- send_NAK (usb); usb NAK Handshake -- +-- send_STALL(usb); usb Stall Handshake -- +-- send_NYET (usb); usb NYET (No Response Yet) Handshake -- +-- wait_slv (usb); wait until transfer of USB-slave completed -- +-- -- +--==========================================================================================================-- + +LIBRARY IEEE; + USE IEEE.std_logic_1164.all; + USE IEEE.std_logic_textio.all; + USE IEEE.std_logic_arith.all; + USE IEEE.std_logic_unsigned.all; + USE std.textio.all; + +PACKAGE usb_commands IS + +--==========================================================================================================-- + + TYPE usb_action IS (idle, sync, pid, addr, rd, wr_odd, wr_even, wr_crc5, wr_crc16, reset, send_eop, recv_eop); + TYPE byte_array IS ARRAY (NATURAL RANGE <>) OF STD_LOGIC_VECTOR(7 DOWNTO 0); + + SIGNAL usb_status : usb_action; + SIGNAL usb_busy : BOOLEAN := FALSE; + SHARED VARIABLE ok : BOOLEAN; + SHARED VARIABLE sv_usb_byte : STD_LOGIC_VECTOR(7 DOWNTO 0); + SHARED VARIABLE sv_usb_addr : STD_LOGIC_VECTOR(10 DOWNTO 0); + SHARED VARIABLE sv_read_loop : BOOLEAN := FALSE; + FILE screen : TEXT OPEN WRITE_MODE IS "STD_OUTPUT"; + FILE outpdata : TEXT OPEN WRITE_MODE IS "Result.out"; + + + PROCEDURE list(message : IN STRING); + PROCEDURE list(SIGNAL no_out : OUT NATURAL; no_in : IN NATURAL); + + PROCEDURE end_of_test(stop : IN BOOLEAN := TRUE); + +--==========================================================================================================-- + + PROCEDURE send_ACK (SIGNAL usb : OUT usb_action); + + PROCEDURE send_NAK (SIGNAL usb : OUT usb_action); + + PROCEDURE send_STALL(SIGNAL usb : OUT usb_action); + + PROCEDURE send_NYET (SIGNAL usb : OUT usb_action); + + PROCEDURE handshake(SIGNAL usb : OUT usb_action; CONSTANT pid_val : IN std_logic_vector(3 DOWNTO 0)); + + PROCEDURE setup( + SIGNAL usb : OUT usb_action; + CONSTANT device_addr : IN STD_LOGIC_VECTOR(7 DOWNTO 0); + CONSTANT endp_addr : IN STD_LOGIC_VECTOR(3 DOWNTO 0) + ); + + PROCEDURE in_token( + SIGNAL usb : OUT usb_action; + CONSTANT device_addr : IN STD_LOGIC_VECTOR(7 DOWNTO 0); + CONSTANT endp_addr : IN STD_LOGIC_VECTOR(3 DOWNTO 0) + ); + + PROCEDURE out_token( + SIGNAL usb : OUT usb_action; + CONSTANT device_addr : IN STD_LOGIC_VECTOR(7 DOWNTO 0); + CONSTANT endp_addr : IN STD_LOGIC_VECTOR(3 DOWNTO 0) + ); + + PROCEDURE sof_token( + SIGNAL usb : OUT usb_action; + CONSTANT frame_no : IN STD_LOGIC_VECTOR(11 DOWNTO 0) + ); + + PROCEDURE token( + SIGNAL usb : OUT usb_action; + CONSTANT pid_val : IN std_logic_vector(3 DOWNTO 0); + CONSTANT token_val : IN STD_LOGIC_VECTOR(10 DOWNTO 0) + ); + + PROCEDURE send_d0(SIGNAL usb : OUT usb_action; CONSTANT wr_data : IN byte_array); + PROCEDURE send_D0(SIGNAL usb : OUT usb_action); + + PROCEDURE send_d1(SIGNAL usb : OUT usb_action; CONSTANT wr_data : IN byte_array); + PROCEDURE send_D1(SIGNAL usb : OUT usb_action); + + PROCEDURE send_d2(SIGNAL usb : OUT usb_action; CONSTANT wr_data : IN byte_array); + PROCEDURE send_D2(SIGNAL usb : OUT usb_action); + + PROCEDURE send_dm(SIGNAL usb : OUT usb_action; CONSTANT wr_data : IN byte_array); + PROCEDURE send_Dm(SIGNAL usb : OUT usb_action); + + PROCEDURE send_dx( + SIGNAL usb : OUT usb_action; + CONSTANT pid_val : IN STD_LOGIC_VECTOR(3 DOWNTO 0); + CONSTANT wr_data : IN byte_array + ); + PROCEDURE send_dx( + SIGNAL usb : OUT usb_action; + CONSTANT pid_val : IN STD_LOGIC_VECTOR(3 DOWNTO 0) + ); + + PROCEDURE send_RES(SIGNAL usb : OUT usb_action); + + PROCEDURE wait_slv(SIGNAL usb : OUT usb_action); + +--==========================================================================================================-- + -- internal functions and procedures -- + + FUNCTION to_01x(d : STD_LOGIC_VECTOR) RETURN STD_LOGIC_VECTOR; + + FUNCTION hex_to_string(D: STD_LOGIC_VECTOR) RETURN STRING; + + PROCEDURE HexWrite( VARIABLE L : INOUT LINE; + CONSTANT VALUE : IN STD_LOGIC_VECTOR; + CONSTANT JUSTIFIED: IN SIDE := right; + CONSTANT FIELD : IN WIDTH := 0); + + PROCEDURE PrintLine (VARIABLE v_Line : INOUT Line); + + END usb_commands; + +--==========================================================================================================-- + + PACKAGE BODY usb_commands IS + + FUNCTION to_01x(d : STD_LOGIC_VECTOR) RETURN STD_LOGIC_VECTOR IS + VARIABLE result : STD_LOGIC_VECTOR (d'RANGE); + BEGIN + FOR i IN d'RANGE LOOP + IF d(i) ='0' OR d(i) ='L' THEN --reduce data to 0, 1 or X + result(i) := '0'; + ELSIF d(i) ='1' OR d(i) ='H' THEN + result(i) := '1'; + ELSE + result(i) := 'X'; + END IF; + END LOOP; + RETURN result; + END to_01x; + +--==========================================================================================================-- + + FUNCTION hex_to_string(d: STD_LOGIC_VECTOR) RETURN STRING is + -- vector is padded with leadin '0's if not modula 4 -- + VARIABLE j, k, p : INTEGER; + VARIABLE d_ext : STD_LOGIC_VECTOR(1 to ((d'LENGTH +3)/4)*4); + VARIABLE nibble : STD_LOGIC_VECTOR(1 to 4); + VARIABLE result : STRING(1 TO (d'HIGH +4 - d'LOW)/4); + VARIABLE hex_val : STRING(1 TO 16) := "0123456789ABCDEF"; + TYPE hex_type IS ARRAY (1 TO 16) OF STD_LOGIC_VECTOR(0 to 3); + CONSTANT hex_tbl : hex_type := + ("0000", "0001", "0010", "0011", "0100", "0101", "0110", "0111", + "1000", "1001", "1010", "1011", "1100", "1101", "1110", "1111"); + BEGIN + j := d_ext'LENGTH - d'LENGTH; + IF j = 0 THEN + d_ext := to_01x(d); + ELSE + d_ext(1 TO j) := (OTHERS =>'0'); + d_ext(j +1 TO d_ext'LENGTH) := to_01x(d); + END IF; + j := 1; + k := 1; + FOR i IN d_ext'RANGE LOOP + nibble(j) := d_ext(i); + IF j = 4 THEN --data nibble is ... + result(k) := 'X'; -- ... default X ... + HEX_CHAR: for h in 1 to 16 LOOP + IF nibble = hex_tbl(h) THEN + result(k) := hex_val(h); -- ... or 1 to F + EXIT HEX_CHAR; + END IF; + END LOOP; + k := k+1; + END IF; + j := (j MOD 4) +1; + END LOOP; + RETURN result; + END; + + PROCEDURE HexWrite( VARIABLE L : INOUT LINE; + CONSTANT VALUE : IN STD_LOGIC_VECTOR; + CONSTANT JUSTIFIED: IN SIDE := right; + CONSTANT FIELD : IN WIDTH := 0) IS + BEGIN + write (L, STRING'(hex_to_string(VALUE)), JUSTIFIED, FIELD); + END; + +--==========================================================================================================-- + + PROCEDURE list(message : IN STRING) IS + VARIABLE v_Line : line := NULL; + BEGIN + WAIT FOR 0 ns; + write(v_Line, " " & Message); + write(Screen, v_Line.all & LF); + writeline(OutpData, v_Line); + END list; + + PROCEDURE list(SIGNAL no_out : OUT NATURAL; no_in : IN NATURAL) IS + VARIABLE v_Line : line := NULL; + BEGIN + IF usb_busy THEN -- set in usb_monitor + WAIT UNTIL NOT usb_busy; + END IF; + write(v_Line, STRING'("Test_No "), right, 25); + write(v_Line, no_in); + PrintLine(v_Line); + no_out <= no_in; + END list; + +--==========================================================================================================-- + + PROCEDURE end_of_test(stop : IN BOOLEAN := TRUE) IS + BEGIN + IF usb_busy THEN -- set in usb_monitor + WAIT UNTIL NOT usb_busy; + END IF; + ASSERT stop = FALSE REPORT"End of Test" SEVERITY FAILURE; + END end_of_test; + +--==========================================================================================================-- + + PROCEDURE PrintLine(VARIABLE v_Line : INOUT Line) IS + BEGIN + IF v_Line /= NULL THEN + write(Screen, v_Line.all & LF); + END IF; + writeline(OutpData, v_Line); + END PrintLine; + +--==========================================================================================================-- + + PROCEDURE send_ACK(SIGNAL usb : OUT usb_action) IS + BEGIN + handshake(usb, X"2"); + END send_ACK; + + PROCEDURE send_NAK(SIGNAL usb : OUT usb_action) IS + BEGIN + handshake(usb, X"A"); + END send_NAK; + + PROCEDURE send_STALL(SIGNAL usb : OUT usb_action) IS + BEGIN + handshake(usb, X"E"); + END send_STALL; + + PROCEDURE send_NYET(SIGNAL usb : OUT usb_action) IS + BEGIN + handshake(usb, X"6"); + END send_NYET; + + PROCEDURE handshake(SIGNAL usb : OUT usb_action; CONSTANT pid_val : IN std_logic_vector(3 DOWNTO 0)) IS + BEGIN + usb <= sync; + WAIT UNTIL usb_status = sync; + WAIT UNTIL usb_status = idle; + sv_usb_byte := NOT pid_val & pid_val; + usb <= pid; + WAIT UNTIL usb_status = pid; + WAIT UNTIL usb_status = idle; + usb <= send_eop; + WAIT UNTIL usb_status = send_eop; + WAIT UNTIL usb_status = idle; + usb <= idle; + END handshake; + +--==========================================================================================================-- + + PROCEDURE setup( + SIGNAL usb : OUT usb_action; + CONSTANT device_addr : IN STD_LOGIC_VECTOR(7 DOWNTO 0); + CONSTANT endp_addr : IN STD_LOGIC_VECTOR(3 DOWNTO 0) + )IS + BEGIN + ASSERT device_addr(7) = '0' REPORT" Token device address out of range 0 to 127" SEVERITY FAILURE; + token(usb, X"D", endp_addr & device_addr(6 DOWNTO 0)); + END setup; + + PROCEDURE in_token( + SIGNAL usb : OUT usb_action; + CONSTANT device_addr : IN STD_LOGIC_VECTOR(7 DOWNTO 0); + CONSTANT endp_addr : IN STD_LOGIC_VECTOR(3 DOWNTO 0) + )IS + BEGIN + ASSERT device_addr(7) = '0' REPORT" Token device address out of range 0 to 127" SEVERITY FAILURE; + token(usb, X"9", endp_addr & device_addr(6 DOWNTO 0)); + END in_token; + + PROCEDURE out_token( + SIGNAL usb : OUT usb_action; + CONSTANT device_addr : IN STD_LOGIC_VECTOR(7 DOWNTO 0); + CONSTANT endp_addr : IN STD_LOGIC_VECTOR(3 DOWNTO 0) + )IS + BEGIN + ASSERT device_addr(7) = '0' REPORT" Token device address out of range 0 to 127" SEVERITY FAILURE; + token(usb, X"1", endp_addr & device_addr(6 DOWNTO 0)); + END out_token; + + PROCEDURE sof_token( + SIGNAL usb : OUT usb_action; + CONSTANT frame_no : IN STD_LOGIC_VECTOR(11 DOWNTO 0) + )IS + BEGIN + token(usb, X"5", frame_no(10 DOWNTO 0)); + END sof_token; + + PROCEDURE token( + SIGNAL usb : OUT usb_action; + CONSTANT pid_val : IN std_logic_vector(3 DOWNTO 0); + CONSTANT token_val : IN STD_LOGIC_VECTOR(10 DOWNTO 0) + )IS + BEGIN + usb <= sync; + WAIT UNTIL usb_status = sync; + WAIT UNTIL usb_status = idle; + sv_usb_byte := NOT pid_val & pid_val; + usb <= pid; + WAIT UNTIL usb_status = pid; + WAIT UNTIL usb_status = idle; + sv_usb_addr := token_val; + usb <= addr; + WAIT UNTIL usb_status = addr; + WAIT UNTIL usb_status = idle; + usb <= wr_crc5; + WAIT UNTIL usb_status = wr_crc5; + WAIT UNTIL usb_status = idle; + usb <= send_eop; + WAIT UNTIL usb_status = send_eop; + WAIT UNTIL usb_status = idle; + usb <= idle; + END token; + +----==========================================================================================================-- + + PROCEDURE send_D0(SIGNAL usb : OUT usb_action; CONSTANT wr_data : IN byte_array) IS + BEGIN + send_dx(usb, X"3", wr_data); + END send_D0; + + PROCEDURE send_D1(SIGNAL usb : OUT usb_action; CONSTANT wr_data : IN byte_array) IS + BEGIN + send_dx(usb, X"B", wr_data); + END send_D1; + + PROCEDURE send_D2(SIGNAL usb : OUT usb_action; CONSTANT wr_data : IN byte_array) IS + BEGIN + send_dx(usb, X"7", wr_data); + END send_D2; + + PROCEDURE send_Dm(SIGNAL usb : OUT usb_action; CONSTANT wr_data : IN byte_array) IS + BEGIN + send_dx(usb, X"F", wr_data); + END send_Dm; + + PROCEDURE send_dx( + SIGNAL usb : OUT usb_action; + CONSTANT pid_val : IN STD_LOGIC_VECTOR(3 DOWNTO 0); + CONSTANT wr_data : IN byte_array + )IS + BEGIN + usb <= sync; + WAIT UNTIL usb_status = sync; + WAIT UNTIL usb_status = idle; + sv_usb_byte := NOT pid_val & pid_val; + usb <= pid; + WAIT UNTIL usb_status = pid; + WAIT UNTIL usb_status = idle; + FOR i in 0 TO wr_data'LENGTH -1 LOOP + sv_usb_byte := wr_data(i); + IF i MOD 2 = 0 THEN + usb <= wr_even; + WAIT UNTIL usb_status = wr_even; + ELSE + usb <= wr_odd; + WAIT UNTIL usb_status = wr_odd; + END IF; + WAIT UNTIL usb_status = idle; + END LOOP; + usb <= wr_crc16; + WAIT UNTIL usb_status = wr_crc16; + WAIT UNTIL usb_status = idle; + usb <= send_eop; + WAIT UNTIL usb_status = send_eop; + WAIT UNTIL usb_status = idle; + usb <= idle; + END send_dx; + +----==========================================================================================================-- + + PROCEDURE send_D0(SIGNAL usb : OUT usb_action) IS + BEGIN + send_dx(usb, X"3"); + END send_D0; + + PROCEDURE send_D1(SIGNAL usb : OUT usb_action) IS + BEGIN + send_dx(usb, X"B"); + END send_D1; + + PROCEDURE send_D2(SIGNAL usb : OUT usb_action) IS + BEGIN + send_dx(usb, X"7"); + END send_D2; + + PROCEDURE send_Dm(SIGNAL usb : OUT usb_action) IS + BEGIN + send_dx(usb, X"F"); + END send_Dm; + + PROCEDURE send_dx( + SIGNAL usb : OUT usb_action; + CONSTANT pid_val : IN STD_LOGIC_VECTOR(3 DOWNTO 0) + )IS + BEGIN + usb <= sync; + WAIT UNTIL usb_status = sync; + WAIT UNTIL usb_status = idle; + sv_usb_byte := NOT pid_val & pid_val; + usb <= pid; + WAIT UNTIL usb_status = pid; + WAIT UNTIL usb_status = idle; + usb <= wr_crc16; + WAIT UNTIL usb_status = wr_crc16; + WAIT UNTIL usb_status = idle; + usb <= send_eop; + WAIT UNTIL usb_status = send_eop; + WAIT UNTIL usb_status = idle; + usb <= idle; + END send_dx; + +----==========================================================================================================-- + + PROCEDURE send_RES(SIGNAL usb : OUT usb_action) IS + BEGIN + usb <= reset; + WAIT UNTIL usb_status = reset; + WAIT UNTIL usb_status = idle; + usb <= idle; + END send_RES; + +----==========================================================================================================-- + + PROCEDURE wait_slv(SIGNAL usb : OUT usb_action) IS + BEGIN + usb <= recv_eop; + WAIT UNTIL usb_status = recv_eop; + WAIT UNTIL usb_status = idle; + usb <= idle; + END wait_slv; + +----==========================================================================================================-- +END usb_commands; Index: usb_tc_01.vhdl =================================================================== --- usb_tc_01.vhdl (nonexistent) +++ usb_tc_01.vhdl (revision 2) @@ -0,0 +1,185 @@ +--==========================================================================================================-- +-- -- +-- Copyright (C) 2011 by Martin Neumann martin@neumanns-mail.de -- +-- -- +-- This source file may be used and distributed without restriction provided that this copyright statement -- +-- is not removed from the file and that any derivative work contains the original copyright notice and -- +-- the associated disclaimer. -- +-- -- +-- This software is provided ''as is'' and without any express or implied warranties, including, but not -- +-- limited to, the implied warranties of merchantability and fitness for a particular purpose. in no event -- +-- shall the author or contributors be liable for any direct, indirect, incidental, special, exemplary, or -- +-- consequential damages (including, but not limited to, procurement of substitute goods or services; loss -- +-- of use, data, or profits; or business interruption) however caused and on any theory of liability, -- +-- whether in contract, strict liability, or tort (including negligence or otherwise) arising in any way -- +-- out of the use of this software, even if advised of the possibility of such damage. -- +-- -- +--==========================================================================================================-- +-- -- +-- File name : USB_tc_01.vhd -- +-- Author : Martin Neumann martin@neumanns-mail.de -- +-- Description : Copy and rename this file to usb_stimuli.vhd before running a new simulation! -- +-- -- +--==========================================================================================================-- +-- -- +-- Change history -- +-- -- +-- Version / date Description -- +-- -- +-- 01 05 Mar 2011 MN Initial version -- +-- -- +-- End change history -- +--==========================================================================================================-- + +LIBRARY work, IEEE; + USE IEEE.std_logic_1164.ALL; + USE work.usb_commands.ALL; + +ENTITY USB_Stimuli IS PORT( + -- Test Control Interface -- + USB : OUT usb_action; + t_no : OUT NATURAL; + -- Application Interface + clk : IN STD_LOGIC; + rst_neg_ext : OUT STD_LOGIC; + RXval : IN STD_LOGIC; -- RX bytes available + RXdat : IN STD_LOGIC_VECTOR(7 DOWNTO 0); -- Received data bytes + RXrdy : OUT STD_LOGIC := '0'; -- Application ready for data + RXlen : IN STD_LOGIC_VECTOR(7 DOWNTO 0); -- Number of bytes available + TXval : OUT STD_LOGIC := '0'; -- Application has valid data + TXdat : OUT STD_LOGIC_VECTOR(7 DOWNTO 0); -- Data byte to send + TXrdy : IN STD_LOGIC; -- Entity is ready for data + TXroom : IN STD_LOGIC_VECTOR(7 DOWNTO 0); -- No of free bytes in TX + TXcork : OUT STD_LOGIC := '1'); -- Hold TX transmission +END USB_Stimuli; + +ARCHITECTURE sim OF usb_stimuli IS + +--==========================================================================================================-- + + -- Get discritor (control transfer to endp 0) is a Setup transaction of 8 data0 bytes: + -- ************************************************************************** + -- |Setup Packet |Bytes | Value | Details | CRC5 : Init to "11111" + -- +-----------------+------+-------+---------------------------------------+ Ignor Sync + -- |Setup-PID | 1 | 2Dh | | Ignor PIP + -- +-----------------+------+-------+---------------------------------------+ Process Byte 1 + 2 + -- |Addr EndP CRC-5 | 2 | 1000h | | Send inverted CRC with MSB first + -- | | | | .........00000000 Address (7bit) | CRC-checker expects "01100" + -- | | | | .....0000........ EndP Ar (4bit) | + -- | | | | 00010............ CRC (5bit) | + -- ************************************************************************** + -- ************************************************************************** + -- |Data0 Packet |Bytes | Value | Details | CRC16 : Init to "1111111111111111" + -- +-----------------+------+-------+---------------------------------------+ Ignor Sync + -- |Data0-PID | 1 | C3h | | Process all Bytes + -- +-----------------+------+-------+---------------------------------------+ Send inverted CRC with MSB first + -- |bmRequestType | 1 | 81h | | CRC-checker expects "1000000000001101"; + -- | | | |Recipient ...00001 Interface | + -- | | | |Type .00..... Standard | + -- | | | |Direction 1....... Device to Host | + -- +-----------------+------+-------+---------------------------------------+ + -- |bRequest | 1 | 06h | Get Descriptor | + -- +-----------------+------+-------+---------------------------------------+ + -- |wValue LowByte | 1 | 00h | | + -- +-----------------+------+-------+ Report Descriptor | + -- |wValue HiByte | 1 | 22h | | + -- +-----------------+------+-------+---------------------------------------+ + -- |wIndex | 2 | 0003h | Interface | + -- +-----------------+------+-------+---------------------------------------+ + -- |wLength | 2 | 0072h | Descriptor Length | + -- +-----------------+------+-------+---------------------------------------+ + -- |CRC-16 | 2 | BBCCh | CRC-Check | + -- ************************************************************************** + +BEGIN + + p_stimuli_data : PROCESS + BEGIN + list(T_No, 10); + rst_neg_ext <= '0'; + WAIT FOR 301 ns; + rst_neg_ext <= '1'; + WAIT FOR 40 ns; + list("Reset completed"); + list(T_No, 20); + setup(usb, X"00", X"0"); --Send Setup to addr 0, endp 0 + -- send_D0(usb,(X"01",X"FF",X"FF",X"80",X"FE",X"00",X"02",X"00")); --Stuffing test pattern + -- send_D0(usb,(X"80",X"06",X"00",X"01",X"00",X"00",X"40",X"00")); --Mouse in Example No4 + send_D0(usb,(X"80",X"06",X"00",X"01",X"00",X"00",X"12",X"00")); --Send 'Get Device descriptor' + --=========================================-- + -- Send 'Get Device descriptor' Data Field -- + --=========================================-- + -- Byte 0-1 0x80, 0x06 Get Discriptor -- + -- 2 0x00 Descr.Index=0 -- + -- 3 0x01 Descr.Type=Device -- + -- 4-5 0x00, 0x00 Zero -- + -- 6-7 0x12, 0x00 Byte Cnt (18 byte) -- + --=========================================-- + wait_slv(usb); --Recv ACK + list(T_No, 30); + in_token(usb, X"00", X"0"); --Send IN-Token + wait_slv(usb); --Recv discriptor data + --Recv 12 01 00 02 00 00 00 40 FE 13 00 1E 00 00 00 00 00 01 Mouse in Example No4 + --===========================================================-- + --Recv 12 01 10 01 02 00 00 40 9A FB 9A FB 20 00 00 00 00 01 -- + --======+==============+========+============================-- + -- 0 | bLength | 18 | Valid Length -- + -- 1 | bDiscType | 1 | Device -- + -- 2-3 | bcd USB | 0x0110 | Spec Version -- + -- 4 | bDeviceClass | 0x02 | Communications -- + -- 5 | bDevSubClass | 0x00 | none -- + -- 6 | bDevProtocol | 0x00 | none -- + -- 7 | bMaxPacket | 0x40 | 64 byte -- + -- 8-9 | idVendor | 0xFB9A | ? -- + -- A-B | idProduct | 0xFB9A | ? -- + -- C-D | bcdDevice | 0x0020 | ? -- + -- E | iManufact. | 0x00 | Index to Manufact. (none) -- + -- F | iProduct | 0x00 | Index to ProdString (none) -- + -- 10 | iSerialNo | 0x00 | Index to SerNo (none) -- + -- 11 | bNumConfig | 0x01 | 1 Configuration -- + --===========================================================-- + send_ack(usb); --Send ACK + --Once the device descriptor is sent, a status transaction follows. + list(T_No, 35); + setup(usb, X"00", X"0"); --Send Setup to addr 0, endp 0 + send_D0(usb,(X"80",X"00",X"00",X"00",X"00",X"00",X"02",X"00")); --Send 'Get Status' (Device, 2 byte) + wait_slv(usb); + in_token(usb, X"00", X"0"); + wait_slv(usb); --get 2 bytes + send_ACK(usb); --Send ACK + + --If the transactions were successful, the host will send a zero length packet indicating the overall + --transaction was successful. The function then replies to this zero length packet indicating its status: + list(T_No, 40); + out_token(usb, X"00", X"0"); + send_D0(usb); --Send Zero Data + wait_slv(usb); --Recv ACK + + --Set Address is used during enumeration to assign a unique address to the USB device. The address is + --specified in wValue and can only be a maximum of 127. This request is unique in that the device does + --not set its address until after the completion of the status stage (send an IN Token, expect zero data). + list(T_No, 50); + setup(usb, X"00", X"0"); --Send Setup to addr 0, endp 0 + send_D0(usb,(X"00",X"05",X"03",X"00",X"00",X"00",X"00",X"00")); --Send 'Set Address' to 0x0003 + wait_slv(usb); --Recv ACK + in_token(usb, X"00", X"0"); --Send IN packet + wait_slv(usb); --Recv Data0 zero Length + send_ack(usb); --Send ACK + + --Now we may use the new address : + list(T_No, 60); + setup(usb, X"03", X"0"); --Send Setup to addr 3, endp 0 + send_D0(usb,(X"80",X"06",X"00",X"01",X"00",X"00",X"12",X"00")); --Send 'Get Device descriptor' + wait_slv(usb); --Recv ACK + list(T_No, 70); + in_token(usb, X"03", X"0"); --Send IN-Token + wait_slv(usb); + send_ack(usb); --Send ACK + IF usb_busy THEN -- usb_usy is set in usb_monitor + WAIT UNTIL NOT usb_busy; + END IF; + ASSERT FALSE REPORT"End of Test" SEVERITY FAILURE; + END PROCESS; + +END sim; + Index: USB_FS_master.vhd =================================================================== --- USB_FS_master.vhd (nonexistent) +++ USB_FS_master.vhd (revision 2) @@ -0,0 +1,280 @@ +--==========================================================================================================-- +-- -- +-- Copyright (C) 2011 by Martin Neumann martin@neumanns-mail.de -- +-- -- +-- This source file may be used and distributed without restriction provided that this copyright statement -- +-- is not removed from the file and that any derivative work contains the original copyright notice and -- +-- the associated disclaimer. -- +-- -- +-- This software is provided ''as is'' and without any express or implied warranties, including, but not -- +-- limited to, the implied warranties of merchantability and fitness for a particular purpose. in no event -- +-- shall the author or contributors be liable for any direct, indirect, incidental, special, exemplary, or -- +-- consequential damages (including, but not limited to, procurement of substitute goods or services; loss -- +-- of use, data, or profits; or business interruption) however caused and on any theory of liability, -- +-- whether in contract, strict liability, or tort (including negligence or otherwise) arising in any way -- +-- out of the use of this software, even if advised of the possibility of such damage. -- +-- -- +--==========================================================================================================-- +-- -- +-- File name : usb_fs_master.vhd -- +-- Author : Martin Neumann martin@neumanns-mail.de -- +-- Description : USB FS Master, used with usb_Stimuli.vhd data source and usb_fs_monitor.vhd. -- +-- -- +--==========================================================================================================-- +-- -- +-- Change history -- +-- -- +-- Version / date Description -- +-- -- +-- 01 05 Mar 2011 MN Initial version -- +-- -- +-- End change history -- +--==========================================================================================================-- +-- -- +-- http://en.wikipedia.org/wiki/Universal_Serial_Bus -- +-- USB data is transmitted by toggling the data lines between the J state and the opposite K state. USB -- +-- encodes data using the NRZI convention; a 0 bit is transmitted by toggling the data lines from J to K -- +-- or vice-versa, while a 1 bit is transmitted by leaving the data lines as-is. -- +-- To ensure a minimum density of signal transitions, USB uses bit stuffing - an extra 0 bit is inserted -- +-- into the data stream after any appearance of six consecutive 1 bits. Seven consecutive '1's are always -- +-- an error. -- +-- A USB packet begins with an 8-bit synchronization sequence '00000001'. That is, after the initial idle -- +-- state J, the data lines toggle KJKJKJKK. The final 1 bit (repeated K state) marks the end of the sync -- +-- pattern and the beginning of the USB frame. For high bandwidth USB, the packet begins with a 32-bit -- +-- synchronization sequence. -- +-- A USB packet's end, called EOP (end-of-packet), is indicated by the transmitter driving 2 bit times of -- +-- SE0 (D+ and D- both below max) and 1 bit time of J state. After this, the transmitter ceases to drive -- +-- the D+/D- lines and the aforementioned pull up resistors hold it in the J (idle) state. Sometimes skew -- +-- due to hubs can add as much as one bit time before the SE0 of the end of packet. -- +-- This extra bit can result in a "bit stuff violation" if the six bits before it in the CRC are '1's. -- +-- This bit should be ignored by receiver. -- +-- A USB bus is reset using a prolonged (10 to 20 milliseconds) SE0 signal. -- +-- -- +--==========================================================================================================-- + +LIBRARY IEEE; + USE IEEE.std_logic_1164.all; + USE IEEE.std_logic_textio.all; + USE std.textio.all; + +LIBRARY work; + USE work.usb_commands.all; + +ENTITY usb_fs_master IS PORT( + -- USB Interface -- + usb_clk : IN STD_LOGIC; + int_clk : IN STD_LOGIC; + rst_neg_ext : OUT STD_LOGIC; + usb_Dp : INOUT STD_LOGIC; + usb_Dn : INOUT STD_LOGIC; + -- Application Interface + RXval : IN STD_LOGIC; -- RX bytes available + RXdat : IN STD_LOGIC_VECTOR(7 DOWNTO 0); -- Received data bytes + RXrdy : OUT STD_LOGIC := '0'; -- Application ready for data + RXlen : IN STD_LOGIC_VECTOR(7 DOWNTO 0); -- Number of bytes available + TXval : OUT STD_LOGIC := '0'; -- Application has valid data + TXdat : OUT STD_LOGIC_VECTOR(7 DOWNTO 0); -- Data byte to send + TXrdy : IN STD_LOGIC; -- Entity is ready for data + TXroom : IN STD_LOGIC_VECTOR(7 DOWNTO 0); -- No of free bytes in TX + TXcork : OUT STD_LOGIC := '1'); -- Hold TX transmission +END usb_fs_master; + +ARCHITECTURE SIM OF usb_fs_master IS + + SIGNAL T_No : NATURAL; + SIGNAL crc_16 : STD_LOGIC_VECTOR(15 DOWNTO 0); + SIGNAL crc_5 : STD_LOGIC_VECTOR( 4 DOWNTO 0); + SIGNAL master_oe : STD_LOGIC; + SIGNAL stimuli_bit : STD_LOGIC := 'Z'; + SIGNAL stop_sim : BOOLEAN := false; + SIGNAL stuffing_requ : BOOLEAN; + SIGNAL usb_request : usb_action; + + function next_CRC_5 (Data: std_logic; crc: std_logic_vector(4 downto 0)) return std_logic_vector is + -- Copyright (C) 1999-2008 Easics NV. http://www.easics.com/webtools/crctool + variable d: std_logic; + variable c: std_logic_vector(4 downto 0); + variable new_crc: std_logic_vector(4 downto 0); + begin + d := Data; + c := crc; + new_crc(0) := d xor c(4); + new_crc(1) := c(0); + new_crc(2) := d xor c(1) xor c(4); + new_crc(3) := c(2); + new_crc(4) := c(3); + return new_crc; + end next_CRC_5; + + function next_CRC_16 (Data: std_logic; crc: std_logic_vector(15 downto 0)) return std_logic_vector is + -- Copyright (C) 1999-2008 Easics NV. http://www.easics.com/webtools/crctool + variable d: std_logic; + variable c: std_logic_vector(15 downto 0); + variable new_crc: std_logic_vector(15 downto 0); + begin + d := Data; + c := crc; + new_crc(0) := d xor c(15); + new_crc(1) := c(0); + new_crc(2) := d xor c(1) xor c(15); + new_crc(14 DOWNTO 3) := c(13 DOWNTO 2); + new_crc(15) := d xor c(14) xor c(15); + return new_crc; + end next_CRC_16; + + FUNCTION nrzi(data_bit, last_level : std_logic) RETURN STD_LOGIC IS + BEGIN + IF data_bit = '0' THEN + RETURN not last_level; + ELSE + RETURN last_level; + END IF; + END nrzi; + +--==========================================================================================================-- + +begin + + test_case : ENTITY work.usb_stimuli + PORT MAP( + -- Test Control Interface -- + usb => usb_request, + T_No => T_No, + -- Application Interface + clk => int_clk, + rst_neg_ext => rst_neg_ext, + RXval => RXval, + RXdat => RXdat, + RXrdy => RXrdy, + RXlen => RXlen, + TXval => TXval, + TXdat => TXdat, + TXrdy => TXrdy, + TXroom => TXroom, + TXcork => TXcork + ); + + usb_fs_monitor : ENTITY work.usb_fs_monitor + port map ( + clk_60MHz => int_clk, + master_oe => master_oe, + usb_Dp => usb_dp, + usb_Dn => usb_dn + ); + + master_oe <= '0' WHEN usb_request = idle OR usb_request = recv_eop ELSE '1'; + + p_usb_data : PROCESS + VARIABLE d_new : STD_LOGIC; + VARIABLE ones_cnt : NATURAL; + BEGIN + WAIT UNTIL rising_edge(usb_clk); + stuffing_requ <= FALSE; + IF stimuli_bit = 'L' THEN + usb_Dp <= '0'; + usb_Dn <= '0'; + ELSIF stimuli_bit = 'Z' THEN + usb_Dp <= 'Z'; + usb_Dn <= 'L'; + ELSIF stimuli_bit = '1' THEN + ones_cnt := ones_cnt +1; + d_new := nrzi('1', usb_Dp); + usb_Dp <= d_new; + usb_Dn <= not d_new; + IF ones_cnt = 6 THEN -- add stuffing bit + stuffing_requ <= TRUE; + ones_cnt := 0; + WAIT UNTIL rising_edge(usb_clk); + stuffing_requ <= FALSE; + d_new := nrzi('0', usb_Dp); + usb_Dp <= d_new; + usb_Dn <= not d_new; + END IF; + ELSE + ones_cnt := 0; + d_new := nrzi('0', usb_Dp); + usb_Dp <= d_new; + usb_Dn <= not d_new; + END IF; + END PROCESS; + + p_stimuli_bit : PROCESS --always transfer LSB first (exception crc) + CONSTANT sync_data : std_logic_vector(7 DOWNTO 0) := X"80"; --USB FS : sync patter is KJKJKJKK + CONSTANT eop_data : std_logic_vector(3 DOWNTO 0) := "Z0LL"; --'L' forces both usb_up, usb_dn low !! + BEGIN + WAIT ON usb_request; + IF usb_request = reset THEN + usb_status <= usb_request; + stimuli_bit <= 'L'; + WAIT FOR 5 us; + WAIT UNTIL rising_edge(usb_clk); + stimuli_bit <= 'Z'; + usb_status <= idle; + ELSIF usb_request = sync THEN + usb_status <= usb_request; + FOR i IN 0 TO 7 LOOP -- Sync pattern + WAIT UNTIL rising_edge(usb_clk); + stimuli_bit <= sync_data(i); + END LOOP; + usb_status <= idle; + ELSIF usb_request = pid THEN + usb_status <= usb_request; + FOR i IN 0 TO 7 LOOP + WAIT UNTIL rising_edge(usb_clk) AND NOT stuffing_requ; + stimuli_bit <= sv_usb_byte(i); + END LOOP; + crc_5 <= (others =>'1'); + crc_16 <= (others =>'1'); + usb_status <= idle; + ELSIF usb_request = addr THEN + usb_status <= usb_request; + FOR i IN 0 TO 10 LOOP + WAIT UNTIL rising_edge(usb_clk) AND NOT stuffing_requ; + stimuli_bit <= sv_usb_addr(i); + crc_5 <= next_crc_5(sv_usb_addr(i),crc_5); + END LOOP; + usb_status <= idle; + ELSIF usb_request = wr_odd OR usb_request = wr_even THEN + usb_status <= usb_request; + FOR i IN 0 TO 7 LOOP + WAIT UNTIL rising_edge(usb_clk) AND NOT stuffing_requ; + stimuli_bit <= sv_usb_byte(i); + crc_16 <= next_crc_16(sv_usb_byte(i),crc_16); + END LOOP; + usb_status <= idle; + -- WAIT for 1 ns; + ELSIF usb_request = wr_crc5 THEN + usb_status <= usb_request; + FOR i IN 4 DOWNTO 0 LOOP -- Token crc5, LSB last + WAIT UNTIL rising_edge(usb_clk) AND NOT stuffing_requ; + stimuli_bit <= NOT crc_5(i); + END LOOP; + usb_status <= idle; + ELSIF usb_request = wr_crc16 THEN + usb_status <= usb_request; + FOR i IN 15 DOWNTO 0 LOOP -- Data crc16, LSB last + WAIT UNTIL rising_edge(usb_clk) AND NOT stuffing_requ; + stimuli_bit <= NOT crc_16(i); + END LOOP; + usb_status <= idle; + ELSIF usb_request = send_eop THEN + usb_status <= usb_request; + FOR i IN 0 TO 3 LOOP + WAIT UNTIL rising_edge(usb_clk) AND NOT stuffing_requ; + stimuli_bit <= eop_data(i); + END LOOP; + usb_status <= idle; + ELSIF usb_request = Recv_eop THEN + usb_status <= usb_request; + WAIT UNTIL rising_edge(usb_clk) AND usb_Dp ='0' AND usb_Dn ='0'; + WAIT FOR 400 ns; + usb_status <= idle; + ELSE + stimuli_bit <= 'Z'; + usb_status <= idle; + END IF; + END PROCESS; + +END SIM; + +--======================================== END OF usb_fs_master.vhd ========================================-- Index: USB_tb.vhd =================================================================== --- USB_tb.vhd (nonexistent) +++ USB_tb.vhd (revision 2) @@ -0,0 +1,148 @@ + +--==========================================================================================================-- +-- -- +-- Copyright (C) 2011 by Martin Neumann martin@neumanns-mail.de -- +-- -- +-- This source file may be used and distributed without restriction provided that this copyright statement -- +-- is not removed from the file and that any derivative work contains the original copyright notice and -- +-- the associated disclaimer. -- +-- -- +-- This software is provided ''as is'' and without any express or implied warranties, including, but not -- +-- limited to, the implied warranties of merchantability and fitness for a particular purpose. in no event -- +-- shall the author or contributors be liable for any direct, indirect, incidental, special, exemplary, or -- +-- consequential damages (including, but not limited to, procurement of substitute goods or services; loss -- +-- of use, data, or profits; or business interruption) however caused and on any theory of liability, -- +-- whether in contract, strict liability, or tort (including negligence or otherwise) arising in any way -- +-- out of the use of this software, even if advised of the possibility of such damage. -- +-- -- +--==========================================================================================================-- +-- -- +-- File name : USB_tb.vhd -- +-- Author : Martin Neumann martin@neumanns-mail.de -- +-- Description : USB test bench used with usb_mster.vhd, usb_Stimuli.vhd and usb_fs_monitor.vhd. -- +-- -- +--==========================================================================================================-- +-- -- +-- Change history -- +-- -- +-- Version / date Description -- +-- -- +-- 01 05 Mar 2011 MN Initial version -- +-- -- +-- End change history -- +--==========================================================================================================-- + +LIBRARY work, IEEE; + USE IEEE.std_logic_1164.ALL; + USE work.usb_commands.ALL; + +ENTITY usb_tb IS +END usb_tb; + +ARCHITECTURE sim OF usb_tb IS + + CONSTANT BUFSIZE_BITS : POSITIVE := 8; + + SIGNAL FPGA_ready : STD_LOGIC; + SIGNAL RXdat : STD_LOGIC_VECTOR(7 DOWNTO 0); + SIGNAL RXlen : STD_LOGIC_VECTOR(BUFSIZE_BITS-1 DOWNTO 0); + SIGNAL RXrdy : STD_LOGIC; + SIGNAL RXval : STD_LOGIC; + SIGNAL TXcork : STD_LOGIC; + SIGNAL TXdat : STD_LOGIC_VECTOR(7 DOWNTO 0); + SIGNAL TXrdy : STD_LOGIC; + SIGNAL TXroom : STD_LOGIC_VECTOR(BUFSIZE_BITS-1 DOWNTO 0); + SIGNAL TXval : STD_LOGIC; + SIGNAL USB_rst : STD_LOGIC; + SIGNAL online : STD_LOGIC; + SIGNAL clk_12MHz : STD_LOGIC; + SIGNAL clk_60MHz : STD_LOGIC; + SIGNAL rst_neg_ext : STD_LOGIC; + SIGNAL rst_neg_syc : STD_LOGIC; + SIGNAL usb_Dn : STD_LOGIC := 'L'; + SIGNAL usb_Dp : STD_LOGIC := 'Z'; -- allow forcing 'H', avoid 'X' + +BEGIN + + p_clk_60MHz : PROCESS + BEGIN + clk_60MHz <= '0'; + WAIT FOR 2 ns; + While true loop + clk_60MHz <= '0'; + WAIT FOR 8000 ps; + clk_60MHz <= '1'; + -- WAIT FOR 8667 ps; -- 60 MHz + WAIT FOR 8393 ps; -- 61 MHz + -- WAIT FOR 8949 ps; -- 59 MHz + end loop; + END PROCESS; + + p_clk_12MHz : PROCESS + BEGIN + clk_12MHz <= '0'; + WAIT FOR 20866 ps; + clk_12MHz <= '1'; + WAIT FOR 41600 ps; + clk_12MHz <= '0'; + WAIT FOR 20867 ps; + END PROCESS; + + p_rst_neg_ext : PROCESS + BEGIN + rst_neg_ext <= '0'; + WAIT FOR 301 ns; + rst_neg_ext <= '1'; + WAIT; + END PROCESS; + + usb_fs_master : ENTITY work.usb_fs_master + port map ( + usb_clk => clk_12MHz, + int_clk => clk_60MHz, + rst_neg_ext => rst_neg_ext, + usb_Dp => usb_dp, + usb_Dn => usb_dn, + RXval => RXval, + RXdat => RXdat, + RXrdy => RXrdy, + RXlen => RXlen, + TXval => TXval, + TXdat => TXdat, + TXrdy => TXrdy, + TXroom => TXroom, + TXcork => TXcork + ); + + usb_dp <= 'H' WHEN FPGA_ready ='1' ELSE 'L'; -- connect FPGA_ready to the pullup resistor logic, .... + usb_dn <= 'L'; -- ... keeping usb_dp='L' during FPGA initialization. + + usb_fs_slave_1 : ENTITY work.usb_fs_slave + GENERIC MAP( + VENDORID => X"FB9A", + PRODUCTID => X"FB9A", + VERSIONBCD => X"0020", + SELFPOWERED => FALSE, + BUFSIZE_BITS => BUFSIZE_BITS) + PORT MAP( + clk => clk_60MHz, -- i + rst_neg_ext => rst_neg_ext, -- i + rst_neg_syc => rst_neg_syc, -- o RST_NEG_EXT streched to next clock + d_pos => usb_dp, -- io Pos USB data line + d_neg => usb_dn, -- io Neg USB data line + USB_rst => USB_rst, -- o USB reset detected (SE0 > 2.5 us) + online => online, -- o High when the device is in Config state. + RXval => RXval, -- o High if a received byte available on RXDAT. + RXdat => RXdat, -- o Received data byte, valid if RXVAL is high. + RXrdy => RXrdy, -- i High if application is ready to receive. + RXlen => RXlen, -- o No of bytes available in receive buffer. + TXval => TXval, -- i High if the application has data to send. + TXdat => TXdat, -- i Data byte to send, must be valid if TXVAL is high. + TXrdy => TXrdy, -- o High if the entity is ready to accept the next byte. + TXroom => TXroom, -- o No of free bytes in transmit buffer. + TXcork => TXcork, -- i Temp. suppress transmissions at the outgoing endpoint. + FPGA_ready => FPGA_ready -- o Connect FPGA_ready to the pullup resistor logic + ); + +END sim; +