home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 13 / 13.iso / p / p078 / 7.img / TUTOR.PLB / HRS.PLD < prev    next >
Encoding:
Text File  |  1990-12-11  |  1.5 KB  |  77 lines
  1. |"HRS"   1:CLK,
  2. |        2:-,
  3. |        3:-,
  4. |        4:-,
  5. |        5:-,
  6. |        6:-,
  7. |        7:-,
  8. |        8:-,
  9. |        9:MIL,
  10. |       10:SET,
  11. |       11:CIN,
  12. |       13:RESET,
  13. |       23:LC,
  14. |       22:LBCD3,
  15. |       21:LBCD2,
  16. |       20:LBCD1,
  17. |       19:LBCD0,
  18. |       18:RC,
  19. |       17:RBCD3,
  20. |       16:RBCD2,
  21. |       15:RBCD1,
  22. |       14:RBCD0
  23. |
  24. |Value:   "HRS"
  25. |Type:    "22V10"
  26. |Part:    "PLD22V10-35"
  27. |Library: "TUTORPLD.LIB"
  28. |
  29. |Title:   "Digital clock schematic"
  30. |Title:   " December  4, 1990"
  31. |
  32. |Registers:  CLK // LBCD[3..0],RBCD[3..0]
  33. |Map:  RBCD[3..0] -> RBCD[3..0]
  34. | {
  35. |  n->2,   RESET
  36. |  n->0,   MIL  & n==3 & RC
  37. |  n->1,   MIL' & n==2 & RC
  38. |  n->n+1, n<9 & RC' & RESET' & (CIN # SET)
  39. |  n->n,   CIN' & SET' & RESET' & RC'
  40. | }
  41. |
  42. | RC = ((LC  & RBCD[3..0]==3 & MIL)
  43. |     # (LC  & RBCD[3..0]==2 & MIL')
  44. |     # (LC' & RBCD[3..0]==9))
  45. |    & RESET' & (CIN # SET)
  46. |
  47. |Map:  LBCD[3..0] -> LBCD[3..0]
  48. | {
  49. |  n->1,    RESET
  50. |  n->0,    MIL  & n==2 & RC
  51. |  n->0,    MIL' & n==1 & RC
  52. |  n ->n,   RC' & RESET'
  53. |  n ->n+1, ((n<2 & MIL) # (n<1 & MIL')) & RC
  54. | }
  55. |
  56. | LC = ((LBCD[3..0]==2 & MIL  & RESET')
  57. |     # (LBCD[3..0]==1 & MIL' & RESET'))
  58.  
  59. |Vectors:
  60. | {
  61. | Display RESET," ",CLK," ",LC," ", LBCD[3..0]," ", RC," ", \
  62. |         RBCD[3..0]
  63. | Set   CIN
  64. | Set   MIL
  65. | Clear SET
  66. | Set   RESET
  67. | Test  CLK
  68. | Clear RESET
  69. | Test  CLK = 30(0,1)
  70. | Set   RESET
  71. | Test  CLK
  72. | Clear RESET
  73. | Clear MIL
  74. | Test  CLK = 30(0,1)
  75. | End }
  76.  
  77.