home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 13 / 13.iso / p / p078 / 7.img / TUTOR.PLB / HRS.TXT < prev    next >
Encoding:
Text File  |  1990-12-04  |  972 b   |  42 lines
  1. |PLD HRS 
  2. |Registers:  CLK // LBCD[3..0],RBCD[3..0] 
  3. |Map:  RBCD[3..0] -> RBCD[3..0] 
  4. | { 
  5. |  n->2, RESET 
  6. |  n->0, MIL & n==3 & RC 
  7. |  n->1, MIL' & n==2 & RC 
  8. |  n->n+1, n<9 & RC' & RESET' & (CIN # SET) 
  9. |  n->n, CIN' & SET' & RESET' & RC' 
  10. | } 
  11. | RC = ((LC & RBCD[3..0]==3 & MIL) 
  12. |     # (LC & RBCD[3..0]==2 & MIL') 
  13. |      # (LC' & RBCD[3..0]==9)) 
  14. |      & RESET' & (CIN # SET) 
  15. |Map:  LBCD[3..0] -> LBCD[3..0] 
  16. | { 
  17. |  n->1, RESET 
  18. |  n->0, MIL & n==2 & RC 
  19. |  n->0, MIL' & n==1 & RC 
  20. |  n ->n, RC' & RESET' 
  21. |  n ->n+1, ((n<2 & MIL) # (n<1 & MIL')) & RC 
  22. | } 
  23. | LC = ((LBCD[3..0]==2 & MIL & RESET') 
  24. |     # (LBCD[3..0]==1 & MIL' & RESET')) 
  25. |Vectors: 
  26. |  { 
  27. | display RESET," ",CLK," ",LC," ", LBCD[3..0]," ", RC," ", \
  28. |         RBCD[3..0] 
  29. | set CIN 
  30. | set MIL 
  31. | clear SET 
  32. | set RESET 
  33. | test CLK 
  34. | clear RESET 
  35. | test CLK = 30(0,1) 
  36. | set RESET 
  37. | test CLK 
  38. | clear RESET 
  39. | clear MIL 
  40. | test CLK = 30(0,1) 
  41. | end} 
  42.