home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 13 / 13.iso / p / p070 / 8.ddi / TUTOR.PLB / SEVENSEG.PLD < prev    next >
Encoding:
Text File  |  1990-12-11  |  768 b   |  26 lines
  1.                           SEVEN SEGMENT COUNTER
  2.  
  3. This counter steps through the ten seven-segment codes, using no
  4. intermediate binary numbers for guidance.  See Chapter 5 of the reference
  5. guide for a discussion.
  6.  
  7. |PAL16R8  in:RESET,
  8. |         out:(SEG[6..0], CARRY),
  9. |         clock:CLK
  10. |
  11. | High:       CLK, CARRY
  12. | Registers:  CLK // SEG[6..0], CARRY
  13. |
  14. | Map: SEG[6..0] -> SEG[6..0]
  15. | { sevenseg(n) -> sevenseg((n+1)\10), RESET' & 0<=n<=9
  16. |            n  -> sevenseg(0),        RESET  }
  17. |
  18. | CARRY = SEG[6..0]==sevenseg(9) & RESET'
  19.  
  20. | Vectors:
  21. | { Display (RESET, CLK), SEG[6..0], CARRY
  22. |   Test RESET=1; CLK
  23. |   Test RESET=0; CLK=12(0,1)
  24. |   End  }
  25.  
  26.