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