aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/common/abc9_model.v
blob: 4fee60f752a9ab8aa196d7b0ce8c9a17f9eaaac4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
(* abc9_box *)
module $__ABC9_DELAY (input I, output O);
  parameter DELAY = 0;
  specify
    (I => O) = DELAY;
  endspecify
endmodule

(* abc9_flop, abc9_box, lib_whitebox *)
module $__DFF_N__$abc9_flop (input C, D, Q, output n1);
  assign n1 = D;
  specify
    $setup(D, posedge C, 0);
    (posedge C => (n1:D)) = 0;
  endspecify
endmodule

(* abc9_flop, abc9_box, lib_whitebox *)
module $__DFF_P__$abc9_flop (input C, D, Q, output n1);
  assign n1 = D;
  specify
    $setup(D, posedge C, 0);
    (posedge C => (n1:D)) = 0;
  endspecify
endmodule
hibiOS/RT is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. */ /** * @file AT91SAM7/at91sam7_mii.h * @brief AT91SAM7 low level MII driver header. * * @addtogroup AT91SAM7_MII * @{ */ #ifndef _AT91SAM7_MII_H_ #define _AT91SAM7_MII_H_ #if HAL_USE_MAC || defined(__DOXYGEN__) /*===========================================================================*/ /* Driver constants. */ /*===========================================================================*/ #define PHY_MICREL_KS8721 0 #define PHY_DAVICOM_9161 1 /*===========================================================================*/ /* Driver pre-compile time settings. */ /*===========================================================================*/ /** * @brief PHY manufacturer and model. */ #if !defined(PHY_HARDWARE) || defined(__DOXYGEN__) #define PHY_HARDWARE PHY_MICREL_KS8721 #endif /*===========================================================================*/ /* Derived constants and error checks. */ /*===========================================================================*/ /** * @brief Pins latched by the PHY at reset. */ #if PHY_HARDWARE == PHY_MICREL_KS8721 #define PHY_ADDRESS 1 #define PHY_ID MII_KS8721_ID #define PHY_LATCHED_PINS (AT91C_PB4_ECRS | AT91C_PB5_ERX0 | \ AT91C_PB6_ERX1 | AT91C_PB7_ERXER | \ AT91C_PB13_ERX2 | AT91C_PB14_ERX3 | \ AT91C_PB15_ERXDV_ECRSDV | AT91C_PB16_ECOL | \ AT91C_PIO_PB26) #elif PHY_HARDWARE == PHY_DAVICOM_9161 #define PHY_ADDRESS 0 #define PHY_ID MII_DM9161_ID #define PHY_LATCHED_PINS (AT91C_PB0_ETXCK_EREFCK | AT91C_PB4_ECRS | \ AT91C_PB5_ERX0 | AT91C_PB6_ERX1 | \ AT91C_PB7_ERXER | AT91C_PB13_ERX2 | \ AT91C_PB14_ERX3 | AT91C_PB15_ERXDV_ECRSDV | \ AT91C_PB16_ECOL | AT91C_PB17_ERXCK) #endif /* PHY_HARDWARE */ /*===========================================================================*/ /* Driver data structures and types. */ /*===========================================================================*/ /** * @brief Type of a PHY register value. */ typedef uint16_t phyreg_t; /** * @brief Type of a PHY register address. */ typedef uint8_t phyaddr_t; /*===========================================================================*/ /* Driver macros. */ /*===========================================================================*/ /*===========================================================================*/ /* External declarations. */ /*===========================================================================*/ #ifdef __cplusplus extern "C" { #endif void miiInit(void); void miiReset(MACDriver *macp); phyreg_t miiGet(MACDriver *macp, phyaddr_t addr); void miiPut(MACDriver *macp, phyaddr_t addr, phyreg_t value); #ifdef __cplusplus } #endif #endif /* HAL_USE_MAC */ #endif /* _AT91SAM7_MII_H_ */ /** @} */