home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / misc / volume1 / 8712 / edif / 2 / batest.2 < prev    next >
Encoding:
Text File  |  1990-07-13  |  6.5 KB  |  172 lines
  1. (EDIF GSL_MODEL
  2.   (EDIFVersion 2 0 0)
  3.   (EDIFLevel 0)
  4.   (keywordMap
  5.      (keywordLevel 0))
  6.   (status
  7.     (written
  8.        (timeStamp 0 0 0 0 0 0)
  9.        (comment "Need to fix timeStamp")
  10.        (author "Silicon Compiler Systems")
  11.        (program "qfcx"
  12.           (version "1.0"))))
  13.   (external PRIM_LIB (ediflevel 0) (technology (numberDefinition)))
  14.   (library GSL_LIB
  15.     (ediflevel 0) (technology (numberDefinition))
  16.     (cell NMOS (cellType generic)
  17.       (view NMOS (viewType netlist)
  18.          (interface
  19.            (port INPUT (direction INPUT))
  20.            (port ENABLE (direction INPUT))
  21.            (port OUTPUT (direction OUTPUT)))))
  22.     (cell PMOS (cellType generic)
  23.       (view PMOS (viewType netlist)
  24.          (interface
  25.            (port INPUT (direction INPUT))
  26.            (port ENABLE (direction INPUT))
  27.            (port OUTPUT (direction OUTPUT)))))
  28.     (cell TRI (cellType generic)
  29.       (view TRI (viewType netlist)
  30.          (interface
  31.            (port INPUT (direction INPUT))
  32.            (port ENABLE (direction INPUT))
  33.            (port OUTPUT (direction OUTPUT)))))
  34.     (cell RES (cellType generic)
  35.       (view RES (viewType netlist)
  36.          (interface
  37.            (port INPUT (direction INPUT))
  38.            (port ENABLE (direction INPUT))
  39.            (port OUTPUT (direction OUTPUT)))))
  40.     (cell WBUF (cellType generic)
  41.       (view WBUF (viewType netlist)
  42.          (interface
  43.            (port INPUT (direction INPUT))
  44.            (port OUTPUT (direction OUTPUT))))))
  45.   (library COMP_LIB
  46.     (ediflevel 0) (technology (numberDefinition))
  47.     (cell BILLTEMP (cellType GENERIC)
  48.       (view SIM_MODEL (viewType NETLIST)
  49.         (interface
  50.           (port SEL0 (direction INPUT))
  51.           (port SEL1 (direction INPUT))
  52.           (port IN0 (direction INPUT))
  53.           (port IN1 (direction INPUT))
  54.           (port IN2 (direction INPUT))
  55.           (port OUT (direction OUTPUT)))
  56.         (contents
  57.           (instance AND_24 (viewRef SIM_MODEL (cellRef AND_2)))
  58.           (instance AND_26 (viewRef SIM_MODEL (cellRef AND_2)))
  59.           (instance INV_16 (viewRef SIM_MODEL (cellRef INV))
  60.             (parameterAssign DT (string "1 1")))
  61.           (instance INV_19 (viewRef SIM_MODEL (cellRef INV))
  62.             (parameterAssign DT (string "1 1")))
  63.           (instance INV_21 (viewRef SIM_MODEL (cellRef INV))
  64.             (parameterAssign DT (string "1 1")))
  65.           (instance OR_28 (viewRef SIM_MODEL (cellRef OR_2)))
  66.           (instance OR_30 (viewRef SIM_MODEL (cellRef OR_2)))
  67.           (instance INV_23 (viewRef SIM_MODEL (cellRef INV))
  68.             (parameterAssign DT (string "2 2")))
  69.           (instance INV_25 (viewRef SIM_MODEL (cellRef INV))
  70.             (parameterAssign DT (string "1 1")))
  71.           (instance INV_27 (viewRef SIM_MODEL (cellRef INV))
  72.             (parameterAssign DT (string "2 2")))
  73.           (instance INV_29 (viewRef SIM_MODEL (cellRef INV))
  74.             (parameterAssign DT (string "1 1")))
  75.           (instance INV_31 (viewRef SIM_MODEL (cellRef INV))
  76.             (parameterAssign DT (string "2 2")))
  77.           (instance NMOS_17 (viewRef SIM_MODEL (cellRef NMOS (libraryRef GSL_LIB)))
  78.             (parameterAssign DT (string "4 4")))
  79.           (instance NMOS_18 (viewRef SIM_MODEL (cellRef NMOS (libraryRef GSL_LIB)))
  80.             (parameterAssign DT (string "5 5")))
  81.           (instance NMOS_20 (viewRef SIM_MODEL (cellRef NMOS (libraryRef GSL_LIB)))
  82.             (parameterAssign DT (string "3 3")))
  83.           (instance NMOS_22 (viewRef SIM_MODEL (cellRef NMOS (libraryRef GSL_LIB)))
  84.             (parameterAssign DT (string "4 4")))
  85.           (net N1
  86.             (joined 
  87.               (portRef INPUT0 (instanceRef OR_30))
  88.               (portRef INPUT0 (instanceRef AND_24))
  89.               (portRef INPUT (instanceRef NMOS_17))
  90.               (portRef OUTPUT (instanceRef INV_16))))
  91.           (net N2
  92.             (joined 
  93.               (portRef OUTPUT (instanceRef AND_26))
  94.               (portRef INPUT (instanceRef NMOS_18))))
  95.           (net N3
  96.             (joined 
  97.               (portRef INPUT (instanceRef NMOS_20))
  98.               (portRef OUTPUT (instanceRef INV_19))))
  99.           (net N4
  100.             (joined 
  101.               (portRef INPUT (instanceRef INV_31))
  102.               (portRef OUTPUT (instanceRef NMOS_20))
  103.               (portRef OUTPUT (instanceRef NMOS_18))))
  104.           (net N5
  105.             (joined 
  106.               (portRef INPUT1 (instanceRef OR_30))
  107.               (portRef INPUT1 (instanceRef AND_24))
  108.               (portRef INPUT (instanceRef NMOS_22))
  109.               (portRef OUTPUT (instanceRef INV_21))))
  110.           (net N6
  111.             (joined 
  112.               (portRef INPUT (instanceRef INV_29))
  113.               (portRef OUTPUT (instanceRef INV_23))
  114.               (portRef ENABLE (instanceRef NMOS_18))))
  115.           (net N7
  116.             (joined 
  117.               (portRef OUTPUT (instanceRef INV_25))
  118.               (portRef ENABLE (instanceRef NMOS_22))))
  119.           (net N8
  120.             (joined 
  121.               (portRef OUTPUT (instanceRef INV_27))
  122.               (portRef INPUT (instanceRef INV_25))
  123.               (portRef ENABLE (instanceRef NMOS_17))))
  124.           (net N9
  125.             (joined 
  126.               (portRef OUTPUT (instanceRef INV_29))
  127.               (portRef ENABLE (instanceRef NMOS_20))))
  128.           (net N20z
  129.             (joined 
  130.               (portRef OUTPUT (instanceRef OR_28))
  131.               (portRef INPUT1 (instanceRef AND_26))))
  132.           (net N21z
  133.             (joined 
  134.               (portRef INPUT1 (instanceRef OR_28))
  135.               (portRef OUTPUT (instanceRef NMOS_22))
  136.               (portRef OUTPUT (instanceRef NMOS_17))))
  137.           (net N18z
  138.             (joined 
  139.               (portRef INPUT0 (instanceRef OR_28))
  140.               (portRef OUTPUT (instanceRef AND_24))))
  141.           (net N19z
  142.             (joined 
  143.               (portRef OUTPUT (instanceRef OR_30))
  144.               (portRef INPUT0 (instanceRef AND_26))))
  145.           (net IN0
  146.             (joined 
  147.               (portRef IN0)
  148.               (portRef INPUT (instanceRef INV_16))))
  149.           (net IN1
  150.             (joined 
  151.               (portRef IN1)
  152.               (portRef INPUT (instanceRef INV_21))))
  153.           (net IN2
  154.             (joined 
  155.               (portRef IN2)
  156.               (portRef INPUT (instanceRef INV_19))))
  157.           (net OUT
  158.             (joined 
  159.               (portRef OUT)
  160.               (portRef OUTPUT (instanceRef INV_31))))
  161.           (net SEL0
  162.             (joined 
  163.               (portRef SEL0)
  164.               (portRef INPUT (instanceRef INV_27))))
  165.           (net SEL1
  166.             (joined 
  167.               (portRef SEL1)
  168.               (portRef INPUT (instanceRef INV_23)))))))
  169.   )
  170. )
  171.  
  172.