videogenerator.eq3

用lattice XP3 demo板设计的VGA信号发生器

|--------------------------------------------------- ----------|
|- ispLEVER 6.1.00.37.42.06 Equations File                    -|
|- Copyright(C), 1992-2001, Lattice Semiconductor Corporation -|
|- All Rights Reserved.                                       -|
|--------------------------------------------------------------|


Equations:

G_342.X1 = countforhorizontal_0_.Q & countforhorizontal_1_.Q
       & countforhorizontal_2_.Q & countforhorizontal_3_.Q ; (1 pterm, 4 signals)
G_342.X2 = countforhorizontal_4_.Q ; (1 pterm, 1 signal)

G_389.X1 = countforvertical_0_.Q & countforvertical_1_.Q
       & countforvertical_2_.Q & countforvertical_3_.Q & countforvertical_4_.Q
       & countforvertical_5_.Q & countforvertical_6_.Q & countforvertical_7_.Q ; (1 pterm, 8 signals)
G_389.X2 = countforvertical_8_.Q ; (1 pterm, 1 signal)

G_391.X1 = countforvertical_0_.Q & countforvertical_1_.Q
       & countforvertical_2_.Q & countforvertical_3_.Q & countforvertical_4_.Q
       & countforvertical_5_.Q & countforvertical_6_.Q & countforvertical_7_.Q
       & countforvertical_8_.Q ; (1 pterm, 9 signals)
G_391.X2 = countforvertical_9_.Q ; (1 pterm, 1 signal)

G_397.X1 = countforvertical_0_.Q & countforvertical_1_.Q
       & countforvertical_2_.Q & countforvertical_3_.Q & countforvertical_4_.Q
       & countforvertical_5_.Q & countforvertical_6_.Q & countforvertical_7_.Q
       & countforvertical_8_.Q & countforvertical_9_.Q
       & countforvertical_10_.Q & countforvertical_11_.Q ; (1 pterm, 12 signals)
G_397.X2 = countforvertical_12_.Q ; (1 pterm, 1 signal)

NUMdata_0_ = 0 ; (0 pterm, 0 signal)

NUMdata_1_ = 0 ; (0 pterm, 0 signal)

NUMdata_2_ = 0 ; (0 pterm, 0 signal)

NUMdata_3_ = 0 ; (0 pterm, 0 signal)

NUMdata_4_ = 0 ; (0 pterm, 0 signal)

NUMdata_5_ = 0 ; (0 pterm, 0 signal)

NUMdata_6_ = 0 ; (0 pterm, 0 signal)

NUMdata_7_ = 0 ; (0 pterm, 0 signal)

NUMlocation_0_ = 0 ; (0 pterm, 0 signal)

NUMlocation_1_ = 0 ; (0 pterm, 0 signal)

NUMlocation_2_ = 0 ; (0 pterm, 0 signal)

NUMlocation_3_ = 0 ; (0 pterm, 0 signal)

N_252.X1 = countforvertical_0_.Q & countforvertical_1_.Q
       & countforvertical_2_.Q & countforvertical_3_.Q & countforvertical_4_.Q
       & un25_pixelclock ; (1 pterm, 6 signals)
N_252.X2 = countforvertical_5_.Q ; (1 pterm, 1 signal)

N_374 = countforph_0_.Q & countforph_1_.Q & countforph_2_.Q & !countforph_3_.Q
       & !countforph_4_.Q & !countforph_5_.Q & !countforph_6_.Q
       & countforcolor_0_.Q ; (1 pterm, 8 signals)

N_381 = countforcolor_1_.Q & countforcolor_2_.Q & N_374 ; (1 pterm, 3 signals)

N_406 = countforph_0_.Q & countforph_1_.Q & countforph_2_.Q & countforph_3_.Q
       & countforph_4_.Q ; (1 pterm, 5 signals)

N_428 = countforhorizontal_0_.Q & countforhorizontal_1_.Q
       & countforhorizontal_2_.Q & countforhorizontal_3_.Q
       & countforhorizontal_4_.Q ; (1 pterm, 5 signals)

N_443 = countforhorizontal_0_.Q & countforhorizontal_1_.Q
       & countforhorizontal_2_.Q & countforhorizontal_3_.Q
       & countforhorizontal_4_.Q & countforhorizontal_5_.Q
       & countforhorizontal_6_.Q & countforhorizontal_7_.Q
       & countforhorizontal_8_.Q & countforhorizontal_9_.Q ; (1 pterm, 10 signals)

N_474 = countforvertical_0_.Q & countforvertical_1_.Q & countforvertical_2_.Q
       & countforvertical_3_.Q & countforvertical_4_.Q & countforvertical_5_.Q
       & countforvertical_6_.Q ; (1 pterm, 7 signals)

N_483 = countforvertical_0_.Q & countforvertical_1_.Q & countforvertical_2_.Q
       & countforvertical_3_.Q & countforvertical_4_.Q & countforvertical_5_.Q
       & countforvertical_6_.Q & countforvertical_7_.Q & countforvertical_8_.Q
       & countforvertical_9_.Q ; (1 pterm, 10 signals)

N_530.X1 = !countforhorizontal_7_.Q & countforhorizontal_8_.Q
    # !countforhorizontal_7_.Q & countforhorizontal_9_.Q
    # countforhorizontal_0_.Q & countforhorizontal_1_.Q
       & countforhorizontal_2_.Q & countforhorizontal_3_.Q
       & countforhorizontal_4_.Q & countforhorizontal_5_.Q
       & countforhorizontal_6_.Q & !countforhorizontal_7_.Q
    # countforhorizontal_0_.Q & countforhorizontal_1_.Q
       & countforhorizontal_2_.Q & countforhorizontal_3_.Q
       & countforhorizontal_4_.Q & countforhorizontal_5_.Q
       & countforhorizontal_6_.Q & countforhorizontal_8_.Q
       & countforhorizontal_9_.Q ; (4 pterms, 10 signals)
N_530.X2 = !countforhorizontal_7_.Q ; (1 pterm, 1 signal)

N_542_i_0.X1 = !countforhorizontal_11_.Q & countforhorizontal_12_.Q
    # countforhorizontal_0_.Q & countforhorizontal_1_.Q
       & countforhorizontal_2_.Q & countforhorizontal_3_.Q
       & countforhorizontal_4_.Q & countforhorizontal_5_.Q
       & countforhorizontal_6_.Q & countforhorizontal_7_.Q
       & countforhorizontal_8_.Q & countforhorizontal_9_.Q
       & countforhorizontal_10_.Q & !countforhorizontal_11_.Q
    # countforhorizontal_0_.Q & countforhorizontal_1_.Q
       & countforhorizontal_2_.Q & countforhorizontal_3_.Q
       & countforhorizontal_4_.Q & countforhorizontal_5_.Q
       & countforhorizontal_6_.Q & countforhorizontal_7_.Q
       & countforhorizontal_8_.Q & countforhorizontal_9_.Q
       & countforhorizontal_10_.Q & countforhorizontal_12_.Q ; (3 pterms, 13 signals)
N_542_i_0.X2 = !countforhorizontal_11_.Q ; (1 pterm, 1 signal)

N_556 = countforph_0_.Q & countforph_1_.Q & countforph_2_.Q & !countforph_3_.Q
       & !countforph_4_.Q & !countforph_5_.Q & !countforph_6_.Q
    # countforph_0_.Q & countforph_1_.Q & countforph_2_.Q & countforph_3_.Q
       & countforph_4_.Q & countforph_5_.Q & countforph_6_.Q ; (2 pterms, 7 signals)

N_636 = !( countforhorizontal_0_.Q & countforhorizontal_1_.Q
       & countforhorizontal_2_.Q & countforhorizontal_3_.Q
       & !countforhorizontal_6_.Q & G_342 & N_530 & !N_428
    # countforhorizontal_0_.Q & countforhorizontal_1_.Q
       & countforhorizontal_2_.Q & countforhorizontal_3_.Q
       & !countforhorizontal_5_.Q & !countforhorizontal_6_.Q & G_342 & N_530
    # !countforhorizontal_0_.Q & !countforhorizontal_3_.Q
       & !countforhorizontal_6_.Q & G_342 & N_530 & !N_428
    # !countforhorizontal_0_.Q & !countforhorizontal_3_.Q
       & !countforhorizontal_5_.Q & !countforhorizontal_6_.Q & G_342 & N_530
    # !countforhorizontal_1_.Q & !countforhorizontal_3_.Q
       & !countforhorizontal_6_.Q & G_342 & N_530 & !N_428
    # !countforhorizontal_1_.Q & !countforhorizontal_3_.Q
       & !countforhorizontal_5_.Q & !countforhorizontal_6_.Q & G_342 & N_530
    # !countforhorizontal_2_.Q & !countforhorizontal_3_.Q
       & !countforhorizontal_6_.Q & G_342 & N_530 & !N_428
    # !countforhorizontal_2_.Q & !countforhorizontal_3_.Q
       & !countforhorizontal_5_.Q & !countforhorizontal_6_.Q & G_342 & N_530
    # !countforhorizontal_5_.Q & !countforhorizontal_6_.Q & G_342 & N_530
       & !N_428
    # !countforhorizontal_5_.Q & !countforhorizontal_6_.Q & !un7_pixelclock
       & !G_342 & N_530
    # countforhorizontal_5_.Q & countforhorizontal_6_.Q & !un7_pixelclock
       & N_530 & N_428
    # !countforhorizontal_10_.Q & !un7_pixelclock & !N_443
    # countforhorizontal_10_.Q & !un7_pixelclock & N_443
    # un7_pixelclock & G_342
    # !countforhorizontal_6_.Q & !un7_pixelclock & !G_342 & N_530 & !N_428 ) ; (15 pterms, 12 signals)

N_639 = !countforvertical_0_.Q & countforvertical_2_.Q & un25_pixelclock
       & !un29_pixelclock & countforvertical_3_6__n & countforvertical_3_3__n
       & G_389 & N_252
    # countforvertical_0_.Q & countforvertical_1_.Q & countforvertical_8_.Q
       & !un25_pixelclock & countforvertical_3_6__n & countforvertical_3_3__n
       & N_252
    # countforvertical_1_.Q & !countforvertical_2_.Q & un25_pixelclock
       & !un29_pixelclock & countforvertical_3_6__n & countforvertical_3_3__n
       & G_389 & N_252
    # !countforvertical_1_.Q & countforvertical_2_.Q & un25_pixelclock
       & !un29_pixelclock & countforvertical_3_6__n & countforvertical_3_3__n
       & G_389 & N_252
    # countforvertical_2_.Q & countforvertical_8_.Q & !un25_pixelclock
       & countforvertical_3_6__n & countforvertical_3_3__n & N_252
    # !countforvertical_7_.Q & un25_pixelclock & !un29_pixelclock & G_389
       & N_474
    # countforvertical_7_.Q & un25_pixelclock & !un29_pixelclock & G_389
       & !N_474
    # countforvertical_8_.Q & !un25_pixelclock & countforvertical_3_6__n
       & N_252 & countforvertical_3_4__n
    # un25_pixelclock & !un29_pixelclock & countforvertical_3_6__n & G_389
       & N_252 & countforvertical_3_4__n
    # countforvertical_7_.Q & countforvertical_8_.Q & !un25_pixelclock ; (10 pterms, 13 signals)

UARTtx = 0 ; (0 pterm, 0 signal)

VGAb_0_.D = !VGAdena.Q & inst_pixelClock.Q & !countforph_6_.Q
       & !countforcolor_0_.Q & N_556
    # !VGAdena.Q & inst_pixelClock.Q & countforph_6_.Q & countforcolor_0_.Q
    # !VGAdena.Q & inst_pixelClock.Q & countforcolor_0_.Q & !N_556
    # VGAb_0_.Q & !inst_pixelClock.Q ; (4 pterms, 6 signals)
VGAb_0_.C = !clk ; (1 pterm, 1 signal)

VGAb_1_.D = !VGAdena.Q & inst_pixelClock.Q & countforcolor_1_.Q & !N_374
    # !VGAdena.Q & inst_pixelClock.Q & !countforcolor_1_.Q & N_374
    # VGAb_1_.Q & !inst_pixelClock.Q ; (3 pterms, 5 signals)
VGAb_1_.C = !clk ; (1 pterm, 1 signal)

VGAdena.D = !( VGAh_cs.Q & VGAv.Q & inst_pixelClock.Q & countforvertical_10_.Q
       & countforvertical_11_.Q & N_542_i_0 & !un63_pixelclock_i_0
       & !un51_pixelclock_1_i_0 & !N_636 & !N_639 & un25_pixelclock & !G_391
       & N_483 & !G_397
    # VGAh_cs.Q & VGAv.Q & inst_pixelClock.Q & !countforvertical_9_.Q
       & !countforvertical_10_.Q & !countforvertical_11_.Q
       & !countforvertical_12_.Q & N_542_i_0 & !un63_pixelclock_i_0
       & !un51_pixelclock_1_i_0 & !N_636 & !N_639 & !un25_pixelclock
    # VGAh_cs.Q & VGAv.Q & inst_pixelClock.Q & !countforvertical_10_.Q
       & !countforvertical_11_.Q & N_542_i_0 & !un63_pixelclock_i_0
       & !un51_pixelclock_1_i_0 & !N_636 & !N_639 & un25_pixelclock & !G_391
       & !N_483 & !G_397
    # !VGAv.Q & !VGAdena.Q
    # !VGAh_cs.Q & !VGAdena.Q
    # !VGAdena.Q & !inst_pixelClock.Q ) ; (6 pterms, 17 signals)
VGAdena.C = !clk ; (1 pterm, 1 signal)

VGAg_0_.D = !VGAdena.Q & inst_pixelClock.Q & countforcolor_1_.Q
       & !countforcolor_2_.Q & N_374
    # !VGAdena.Q & inst_pixelClock.Q & !countforcolor_1_.Q
       & countforcolor_2_.Q
    # !VGAdena.Q & inst_pixelClock.Q & countforcolor_2_.Q & !N_374
    # VGAg_0_.Q & !inst_pixelClock.Q ; (4 pterms, 6 signals)
VGAg_0_.C = !clk ; (1 pterm, 1 signal)

VGAg_1_.D = !VGAdena.Q & inst_pixelClock.Q & countforcolor_3_.Q & !N_381
    # !VGAdena.Q & inst_pixelClock.Q & !countforcolor_3_.Q & N_381
    # VGAg_1_.Q & !inst_pixelClock.Q ; (3 pterms, 5 signals)
VGAg_1_.C = !clk ; (1 pterm, 1 signal)

VGAh_cs.D = !( inst_pixelClock.Q & !countforhorizontal_6_.Q
       & !countforhorizontal_10_.Q & N_542_i_0 & N_530 & !N_443
    # inst_pixelClock.Q & !countforhorizontal_5_.Q & !countforhorizontal_10_.Q
       & N_542_i_0 & N_530 & !N_443
    # inst_pixelClock.Q & !countforhorizontal_6_.Q & countforhorizontal_10_.Q
       & N_542_i_0 & N_530 & N_443
    # inst_pixelClock.Q & !countforhorizontal_5_.Q & countforhorizontal_10_.Q
       & N_542_i_0 & N_530 & N_443
    # inst_pixelClock.Q & !countforhorizontal_10_.Q & N_542_i_0 & N_530
       & !N_443 & N_428
    # inst_pixelClock.Q & countforhorizontal_10_.Q & N_542_i_0 & N_530 & N_443
       & N_428
    # !VGAh_cs.Q & un7_pixelclock
    # !VGAh_cs.Q & !inst_pixelClock.Q ) ; (8 pterms, 10 signals)
VGAh_cs.C = !clk ; (1 pterm, 1 signal)

VGAr_0_.D = !VGAdena.Q & inst_pixelClock.Q & countforcolor_3_.Q