Lab 3 Finite State Machines Automated Teller Machine

Transcription

1 Lab 3 Finite State Machines Automated Teller Machine Design, implement, verify, and test an Automated Teller Machine based on the following specification: The teller machine should provide the following services to the user (operator): Balance Inquiry Cash Withdrawal Deposit Cash Deposit a Check Change PIN (BAL) (COUT) (CIN) (CHEC) (CPIN) Each user has only one checking account linked with the bank. The total amount in a checking account cannot exceed $1500. The amount of money requested upon cash withdrawal cannot be greater than $500. The requested amount should always be in multiples of $20. The user can deposit cash in the form of $10, $20, $50 and $100 bills. The check amount to be deposited can only be an integer value no greater than $99. The minimum amount always available in a checking account is $20. Initial value of the PIN should be set to 0xAB. Please also note that wherever required, the letter N can be displayed in lowercase as n. The machine is capable of Accepting user choices Calculating the balance left in the account after cash withdrawal Updating the available balance after receiving a deposit amount in the form of cash or check. The exact way of performing these tasks using the Digilent Basys 3 board is described below:

2 Step 1: Entering a PIN number The machine should start by displaying PIN on the three leftmost seven-segment displays. Enter an 8-bit binary PIN number using switches SW0-SW7 on Basys 3 board, and then press the center button called Enter (BTNC). Only if the PIN number is accepted, LED0 is switched on. If an incorrect PIN number is entered, text PIN should blink for 3 seconds on the seven segment display and the machine should return to Enter PIN number mode. The ATM can now proceed to step 2. Step 2: Choosing an option The machine displays the first option BAL (Balance Inquiry) The user makes selection using the buttons Up (BTNU) and Down (BTND) of the FPGA board, by scrolling through the wrap-around list of all available services BAL COUT CIN CHEC CPIN Each time the user presses Button Up or Button Down the code of a service is displayed on the seven-segment displays. If the code has three letters, the rightmost seven-segment should not display any letter. The final selection is confirmed using the center button called Enter (BTNC). After making the selection, LED1 is switched on. When the user chooses Balance Inquiry (BAL): Every customer starts with a complimentary balance of $100. If the user chooses the option of Balance Inquiry before any cash withdrawal or deposit, the machine should display $100 as the available balance on the three rightmost seven-segment displays. If the user asks for a balance Inquiry after cash withdrawal or deposit mode, the machine should display the new available balance using the seven-segment displays.

3 LED2 should be switched on (with LED 1 and LED0 remaining in ON state) the entire time user remains in balance inquiry state. When the user chooses Cash Withdrawal (COUT) 0, representing zero dollars requested so far, should be displayed using a seven-segment display. The ATM should accept requests for the following dollar amounts 10 Dollar - Button BTNU 20 Dollar - Button BTND 50 Dollar - Button BTNL 100 Dollar - Button BTNR. After each request is entered the total value of all requests entered so far is displayed on seven segment displays. For example, the amount requested so far may be equal to: 260. The total amount is not allowed to exceed $500 (i.e., any entry leading to exceeding this amount is ignored). The final selection is confirmed using the button Enter (BTNC). If the total amount entered is not a multiple of $20, NP should be displayed for not permitted, and the machine should return to the Cash Withdrawal mode. If case of insufficient funds, INS should be displayed, and the machine should also return to the Cash Withdrawal mode. The total amount requested so far should be reset to 0. If the total amount entered is a valid amount: the user should receive the amount, e.g., 260 blinking for 5 seconds the remaining amount available in the account should be displayed afterwards, e.g., 500 LED3 should be switched on (with LED1 and LED0 remaining in ON state) the entire time user remains in cash withdrawal state. When the user chooses Cash Deposit (CIN) 0, representing the amount of cash to be deposited, should be displayed using a seven segment display. The ATM should accept the following dollar amounts

4 10 Dollar - Button BTNU 20 Dollar - Button BTND 50 Dollar - Button BTNL 100 Dollar - Button BTNR. After each bill is entered the total value of all bills entered so far is displayed. For example, the amount entered so far may be equal to: 220. The total deposit amount is not allowed to exceed $250 (i.e., any entry leading to exceeding this amount is ignored). The final selection is confirmed using the button Enter (BTNC). The total amount to be deposited should be displayed blinking for 5 seconds, The new amount available in the account should be displayed afterwards, e.g., 500 If the new available balance would be greater than the total amount allowed to be kept in a checking account, ODP should be displayed for over deposit, and the machine should return to the Cash Deposit mode. The current amount to be deposited should be reset to 0, which should also be displayed on the seven segment display. LED4 should be switched on (with LED1 and LED0 remaining in ON state) the entire time user remains in cash deposit state. When the user chooses Check Deposit (CHEC) Once in this state, the user can enter the deposit amount using switches on the Basys 3 board. The value of a check is specified in BCD notation, so it can be any integer in the range from 00 to 99. The user confirms the amount entered using the button Enter (BTNC). The total amount to be deposited should be displayed blinking for 5 seconds. The amount on the check (entered using switches) should be added to the previous balance to make the user s new available balance and displayed using the seven-segment displays. For example, the new available balance so far may be equal to: 560. If the new available balance would be greater than the total amount allowed to be kept in a checking account, ODP should be displayed for over deposit, and the machine should return to the Check Deposit mode, with the current amount to be deposited reset to 0.

5 LED5 should be switched on (with LED1 and LED0 remaining in ON state) the entire time user remains in check deposit state. When the user chooses Change PIN (CPIN) The user should enter a new 8-bit PIN number using the switches on Basys 3 board. If the value of the new PIN entered matches the current PIN number, text PIN should blink for 3 seconds on the seven-segment display and the machine should return to the Change PIN mode, otherwise the PIN number should be updated to the new value. LED6 should be switched on (with LED1 and LED0 remaining in ON state) the entire time user remains in change PIN state. Reset condition: Introduce a soft reset, defined as a simultaneous press of buttons BTNL and BTNR. Required tasks: 1. Draw one or more Algorithmic State Machine (ASM) charts implementing the required functionality. Please note that multiple state machines, working in parallel, can be used to achieve the required behavior. 2. Translate the ASM charts to VHDL. 3. Develop a testbench with two versions of timing constants, one used for simulation, and the other used for the actual operation of the circuit on the board. 4. Perform functional simulation of your code. 5. Synthesize your code using Xilinx Vivado. 6. Prepare the correct XDC (Xilinx Design Constraint) file. 7. Implement your circuit using Xilinx Vivado. 8. Check thoroughly all implementation reports. Pay attention to timing, resource usage, and pin allocations. 9. Perform post-synthesis and timing simulations of your circuit using ModelSim or Vivado Simulator. 10. Perform static timing analysis. 11. Check very carefully your pin allocations listed in the report files, and only if these pin allocations are correct, download your bitstream to the FPGA board. 12. Test the operation of your circuit experimentally using the Basys 3 FPGA Board.

6 Deliverables 1. All ASM charts. 2. All source files used for synthesis and implementation of your circuit. 3. Testbench. 4. User constraint files. 5. All synthesis and implementation report files. 6. RTL netlist. 7. Simulation waveforms from the functional, post-synthesis, and timing simulations, proving the correct operation of your circuit, and demonstrating the delay of its critical path in the PDF format. 8. Report file from the static timing analysis. 9. Your own report containing at least the following additional information: Resource utilization. Minimum clock period and maximum clock frequency after synthesis and after implementation. List of any deviations from the original specification. Difficulties encountered and lessons learned. Important Dates Hands-on Session and Introduction to the Experiment Deliverables Due Demo and Q&A Tuesday Section Wednesday Section Friday Section 02/13/ /14/ /16/ /27/2018 8:30am 02/27/2018 9:00-11:40am 02/28/2018 6:50pm 02/28/2018 7:20-10:00pm 03/02/2018 8:00am 03/02/2018 8:40-11:20am