home *** CD-ROM | disk | FTP | other *** search
/ HPAVC / HPAVC CD-ROM.iso / pc / FPGAWKII.ZIP / STATMACH.PDS < prev    next >
Encoding:
Text File  |  1995-03-06  |  1.2 KB  |  60 lines
  1. CHIP cntr IFX780_84
  2.  
  3. ; pin assignments for the epxboard or ace board
  4. PIN 47      CLK
  5. PIN         Q[0:1]
  6. PIN 48      UPDN
  7. PIN 49      HOLD
  8. PIN [50:51] unused[0:1]
  9. PIN [77:78] unused[2:3]
  10. PIN [34:37] sg[0:3]
  11. PIN [39:41] sg[4:6]
  12.  
  13. STATE MOORE_MACHINE
  14. DEFAULT_BRANCH HOLD_STATE
  15.  
  16. S0 = /Q1 * /Q0     ; state assignments
  17. S1 = /Q1 *  Q0
  18. S2 =  Q1 * /Q0
  19. S3 =  Q1 *  Q0
  20.     
  21. S0 := UP ->S1 + DN ->S3  ; state transitions
  22. S1 := UP ->S2 + DN ->S0
  23. S2 := UP ->S3 + DN ->S1  
  24. S3 := UP ->S0 + DN ->S2
  25.  
  26. ; outputs for each state
  27. S0.OUTF =  sg0 *  sg1 *  sg2 * /sg3
  28.          *  sg4 *  sg5 *  sg6  ; display "0"
  29. S1.OUTF = /sg0 *  sg1 * /sg2 * /sg3
  30.          *  sg4 * /sg5 * /sg6  ; display "1"
  31. S2.OUTF =  sg0 * /sg1 *  sg2 *  sg3
  32.          *  sg4 * /sg5 *  sg6  ; display "2"
  33. S3.OUTF =  sg0 *  sg1 * /sg2 *  sg3
  34.          *  sg4 * /sg5 *  sg6  ; display "3"
  35.  
  36. CONDITIONS  ; transition trigger conditions
  37. UP =  UPDN * /HOLD
  38. DN = /UPDN * /HOLD
  39.  
  40. EQUATIONS
  41. Q[0:1].ACLK = CLK  ; clock for state machine
  42.  
  43. SIMULATION
  44. SETF /CLK /HOLD /UPDN
  45. PRLDF /Q0 /Q1
  46. FOR i:=1 TO 6 DO
  47.   BEGIN
  48.   CLOCKF CLK
  49.   END
  50. SETF UPDN
  51. FOR i:=1 to 6 DO
  52.   BEGIN
  53.   CLOCKF CLK
  54.   END
  55. SETF HOLD
  56. FOR i:=1 TO 6 DO
  57.   BEGIN
  58.   CLOCKF CLK
  59.   END
  60.