Freescale Semiconductor MPC8272ADS User Manual page 141

Slot2IntD_Active
else
!Slot2IntD_Active ;
"******************************************************************************
"******************************************************************************
"* PCI Interrupt Mask Register
"******************************************************************************
"******************************************************************************
equations
IntMaskReg.clk = SYSCLK ;
IntMaskReg.ar = 0 ;
IntMaskReg.ap = 0 ;
"******************************************************************************
state_diagram Slot0IntAMask
state Slot0IntAMask_Active:
if (VGR_WRITE_IntMaskReg &
(Slot0IntAMask_DATA_BIT.pin == !Slot0IntAMask_Active) &
(!(HardReset_B == 0) # (Slot0IntAMask_PON_DEFAULT == !Slot0IntAMask_Active)) #
((HardReset_B == 0) & (Slot0IntAMask_PON_DEFAULT == !Slot0IntAMask_Active)) )
then
!Slot0IntAMask_Active
else
Slot0IntAMask_Active ;
state !Slot0IntAMask_Active:
if (VGR_WRITE_IntMaskReg &
(Slot0IntAMask_DATA_BIT.pin == Slot0IntAMask_Active) &
(!(HardReset_B == 0) # (Slot0IntAMask_PON_DEFAULT == Slot0IntAMask_Active)) #
((HardReset_B == 0) & (Slot0IntAMask_PON_DEFAULT == Slot0IntAMask_Active)) )
then
Slot0IntAMask_Active
else
!Slot0IntAMask_Active ;
"******************************************************************************
state_diagram Slot0IntBMask
state Slot0IntBMask_Active:
if (VGR_WRITE_IntMaskReg &
(Slot0IntBMask_DATA_BIT.pin == !Slot0IntBMask_Active) &
(!(HardReset_B == 0) # (Slot0IntBMask_PON_DEFAULT == !Slot0IntBMask_Active)) #
((HardReset_B == 0) & (Slot0IntBMask_PON_DEFAULT == !Slot0IntBMask_Active)) )
then
!Slot0IntBMask_Active
else
Slot0IntBMask_Active ;
state !Slot0IntBMask_Active:
if (VGR_WRITE_IntMaskReg &
(Slot0IntBMask_DATA_BIT.pin == Slot0IntBMask_Active) &
(!(HardReset_B == 0) # (Slot0IntBMask_PON_DEFAULT == Slot0IntBMask_Active)) #
((HardReset_B == 0) & (Slot0IntBMask_PON_DEFAULT == Slot0IntBMask_Active)) )
then
Slot0IntBMask_Active
else
!Slot0IntBMask_Active ;
"******************************************************************************
state_diagram Slot0IntCMask
state Slot0IntCMask_Active:
if (VGR_WRITE_IntMaskReg &
(Slot0IntCMask_DATA_BIT.pin == !Slot0IntCMask_Active) &
Chapter 8. Support
Programmable Logic Equations