The FC16 Forth Core Lab 7 Module F4.1

Lab 7

Hex OpcodeNameFunction 0000NOP No operation 0001DUP Duplicate T and push data stack. N <= T; N2 <= N; 0002SWAP Exchange T and N. T <= N; N <= T; 0003DROP Drop T and pop data stack. T <= N; N <= N2; 0004OVER Duplicate N into T and push data stack. T <= N; N <= T; N2 <= N; 0005ROT Rotate top 3 elements on stack clockwise. T <= N2; N <= T; N2 <= N; 0006-ROT Rotate top 3 elements on stack counter-clockwise. T <= N; N <= N2; N2 <= T; 0007NIP Drop N and pop rest of data stack. T is unchanged. N <= N2; 0008TUCK Duplicate T into N and push rest of data stack. N2 <= T; 0009ROT_DROP Drop N2 and pop rest of data stack. T and N are unchanged. Equivalent to ROT DROP 000AROT_DROP_SWAP Drop N2 and pop rest of data stack. T and N are exchanged. Equivalent to ROT DROP SWAP Data Stack Instructions

Hex OpcodeNameFunction Pop N and add it to T Pop T and subtract it from N Add 1 to T Subtract 1 from T 0014INVERT Complement all bits of T. 0015AND Pop N1 and AND it to T. 0016OR Pop N1 and AND it to T. 0017XOR Pop N1 and AND it to T * Logic shift left T. 0019U2/ Logic shift right T. 001A2/ Arithmetic shift right T. 001BRSHIFT Pop T and shift N1 T bits to the right. 001CLSHIFT Pop T and shift N1 T bits to the left. 001Dmpp multiply partial product (used for multiplication) 001Eshldc shift left and decrement conditionally (used for division) Funit16 Instructions (fcode = lower 6 bits of opcode)

CodeNameFunction 0020TRUE Set all bits in T to ‘1’. 0021FALSE Clear all bits in T to ‘0’. 0022NOT 0= TRUE if all bits in T are ‘0’ < TRUE if sign bit of T is ‘1’. 0024U> T T (unsigned), else T <= FALSE 0025U< T <= TRUE if N < T (unsigned), else T <= FALSE 0026= T <= TRUE if N = T, else T <= FALSE 0027U>= T = T (unsigned), else T <= FALSE 0028U<= T <= TRUE if N1 <= T (unsigned), else T <= FALSE 0029<> T <= TRUE if N /= T, else T <= FALSE 002A> T T (signed), else T <= FALSE 002B< T <= TRUE if N1 < T (signed), else T <= FALSE 002C>= T = T (signed), else T <= FALSE 002D<= T <= TRUE if N1 <= T (signed), else T <= FALSE Funit16 Instructions (cont.) (fcode = lower 6-bits of opcode)

CodeNameFunction 0030>R “To-R” Pop T and push it on return stack. 0031R> “R-from” Pop return stack R and push it into T. “R-fetch” Copy R to T and push register stack 0033R>DROP “R-from-drop” Pop return stack R and throw it away Fetch the byte at address T in RAM and load it into T 0035! Store the byte in N at the address T. Pop both T and N. Fetch the byte at address T in ROM and load it into T. Fetch the 8-bit byte from Port S and load it into T. 0038DIG! Write the 4 hex digits in T to the digit register DigReg 0039LD! Store T to the LED register LDreg. Return Stack, Memory Access, and I/O Instructions

CodeNameFunction 0040LIT Load inline literal to T and push data stack. 0041JMP Jump to inline address 0042JZ Jump if all bits in T are ‘0’ 0043DRJNE Decrement R and jump if R is not zero 0044CALL Call subroutine 0045RET Subroutine return 0046JB1LO Jump if input pin B1 is LO 0047JB2LO Jump if input pin B2 is LO 0048JB3LO Jump if input pin B3 is LO 0049JB4LO Jump if input pin B4 is LO 004AJB1HI Jump if input pin B1 is HI 004BJB2HI Jump if input pin B1 is HI 004CJB3HI Jump if input pin B1 is HI 004DJB4HI Jump if input pin B1 is HI Literal and Transfer Instructions

Multiplication and Division Instructions

Multiplication 13 x = 8Fh 1101 x

Multiplication 1101 x adsh adsh sh adsh

Multiplication UM* ( u1 u2 -- upL upH ) TN N2 mpp (multiply partial product) if N(0) = 1 then adsh else sh end if; All other signed and unsigned multiplication can be derived from UM* : UM* ( u1 u2 - upL upH ) 0 4 FOR mpp NEXT ROT_DROP ;

16 x 16 = 32 Multiply Instruction : UM* ( u1 u2 - upL upH ) 0 16 FOR mpp NEXT ROT_DROP ;

Testing Multiply Instruction : MAIN ( -- ) BEGIN waitB4 get u1LO waitB4 get u1HI waitB4 get u2LO waitB4 get u2HI waitB4 UM*\ multiply DIG!\ display upH waitB4 DIG!\ display upL AGAIN ;

variable AVector: STD_LOGIC_VECTOR (width downto 0); variable BVector: STD_LOGIC_VECTOR (width downto 0); variable CVector: STD_LOGIC_VECTOR (width downto 0); variable yVector: STD_LOGIC_VECTOR (width downto 0); variable y_tmp: STD_LOGIC_VECTOR (width-1 downto 0); variable y2_tmp: STD_LOGIC_VECTOR (width-1 downto 0); variable yvec0: STD_LOGIC; AVector := '0' & a; BVector := '0' & b; CVector := '0' & c; y_tmp := false; y2_tmp := false; yVector := '0' & false; begin

when "11110" =>-- mpp if b(0) = '1' then yVector := AVector + CVector; else yVector := AVector; end if; y <= yVector(width downto 1); y2 <= yVector(0) & b(width-1 downto 1); mpp (multiply partial product) if N(0) = 1 then adsh else sh end if; TN N2

Division

Division 8-bit/4-bit = 4: _ numer[8:0] denom[3:0] If denom < numer[7:4] then overflow (quotient won’t fit in 4 bits) Let T = numer[8:4] N = numer[3:0] N2 = denom[3:0]

Division 8-bit/4-bit = 4: sll TN N2 for I in 0 to 3 loop sll T & N; if T[8:4] > N2 then T := T - (0 & N2); N(0) := ‘1’; end if; end loop;

Division 8-bit/4-bit = 4: sll TN N sub1sll sll sub1sll rem quot

Division : UM/MOD ( unumL unumH udenom -- urem uquot ) All other signed and unsigned division operations can be derived as WHYP words from UM/MOD TN N2 TN -ROT 4 FOR SHLDC NEXT denom quot rem ROT_DROP_SWAP ;

when "11111" =>-- shldc yVector := a & b(width-1); y2_tmp := b(width-2 downto 0) & '0'; if yVector > CVector then yVector := yVector - CVector; y2_tmp(0) := '1'; end if; for I in 0 to 3 loop sll T & N; if T[8:4] > N2 then T := T - (0 & N2); N(0) := ‘1’; end if; end loop; sll TN N2 y <= yVector(width-1 downto 0); y2 <= y2_tmp;

32 / 16 = 16:16 Division : UM/MOD ( unL unH ud -- ur uq ) -ROT 16 FOR shldc NEXT ROT_DROP_SWAP ;

Testing Divide Instruction : MAIN ( -- ) BEGIN waitB4 get unLLO waitB4 get unLHI waitB4 get unHLO waitB4 get unHHI waitB4 get udLO waitB4 get udHI waitB4 UM/MOD\ divide Dig!\ display uq waitB4 Dig!\ display ur AGAIN ;