📄 mealy_3.edf
字号:
(edif MEALY_3
(edifVersion 2 0 0)
(edifLevel 0)
(keywordMap
(keywordLevel 0)
)
(status
(written
(timeStamp 2002 7 17 9 28 59)
(program "UNKNOWN"
(version "3.4.0.5124")
)
(author "liou")
)
)
(external SPARTAN2
(edifLevel 0)
(technology
(numberDefinition)
)
(cell BUFGP
(cellType GENERIC)
(view Netlist_representation
(viewType NETLIST)
(interface
(port O
(direction OUTPUT)
)
(port I
(direction INPUT)
)
)
)
)
(cell FDC
(cellType GENERIC)
(view Netlist_representation
(viewType NETLIST)
(interface
(port Q
(direction OUTPUT)
)
(port D
(direction INPUT)
)
(port C
(direction INPUT)
)
(port CLR
(direction INPUT)
)
)
)
)
(cell FDP
(cellType GENERIC)
(view Netlist_representation
(viewType NETLIST)
(interface
(port Q
(direction OUTPUT)
)
(port D
(direction INPUT)
)
(port C
(direction INPUT)
)
(port PRE
(direction INPUT)
)
)
)
)
(cell IBUF
(cellType GENERIC)
(view Netlist_representation
(viewType NETLIST)
(interface
(port O
(direction OUTPUT)
)
(port I
(direction INPUT)
)
)
)
)
(cell LUT2
(cellType GENERIC)
(view Netlist_representation
(viewType NETLIST)
(interface
(port I0
(direction INPUT)
)
(port I1
(direction INPUT)
)
(port O
(direction OUTPUT)
)
)
)
)
(cell LUT3
(cellType GENERIC)
(view Netlist_representation
(viewType NETLIST)
(interface
(port I0
(direction INPUT)
)
(port I1
(direction INPUT)
)
(port I2
(direction INPUT)
)
(port O
(direction OUTPUT)
)
)
)
)
(cell OBUF_S_12
(cellType GENERIC)
(view Netlist_representation
(viewType NETLIST)
(interface
(port O
(direction OUTPUT)
)
(port I
(direction INPUT)
)
)
)
)
)
(library DESIGNS
(edifLevel 0)
(technology
(numberDefinition)
)
(cell MEALY_3
(cellType GENERIC)
(view Netlist_representation
(viewType NETLIST)
(interface
(port CLK
(direction INPUT)
)
(port RESET
(direction INPUT)
)
(port X
(direction INPUT)
)
(port Z
(direction OUTPUT)
)
)
(contents
(instance
(rename Present_State_reg_4 "Present_State_reg<4>")
(viewRef Netlist_representation
(cellRef FDC
(libraryRef SPARTAN2)
)
)
)
(instance
(rename Present_State_reg_0 "Present_State_reg<0>")
(viewRef Netlist_representation
(cellRef FDC
(libraryRef SPARTAN2)
)
)
)
(instance
(rename Present_State_reg_2 "Present_State_reg<2>")
(viewRef Netlist_representation
(cellRef FDC
(libraryRef SPARTAN2)
)
)
)
(instance
(rename Present_State_reg_6 "Present_State_reg<6>")
(viewRef Netlist_representation
(cellRef FDP
(libraryRef SPARTAN2)
)
)
)
(instance
(rename Present_State_reg_3 "Present_State_reg<3>")
(viewRef Netlist_representation
(cellRef FDC
(libraryRef SPARTAN2)
)
)
)
(instance
(rename Present_State_reg_1 "Present_State_reg<1>")
(viewRef Netlist_representation
(cellRef FDC
(libraryRef SPARTAN2)
)
)
)
(instance
(rename Present_State_reg_5 "Present_State_reg<5>")
(viewRef Netlist_representation
(cellRef FDC
(libraryRef SPARTAN2)
)
)
)
(instance C_RESET
(viewRef Netlist_representation
(cellRef IBUF
(libraryRef SPARTAN2)
)
)
)
(instance C_X
(viewRef Netlist_representation
(cellRef IBUF
(libraryRef SPARTAN2)
)
)
)
(instance C_Z
(viewRef Netlist_representation
(cellRef OBUF_S_12
(libraryRef SPARTAN2)
)
)
)
(instance C147
(viewRef Netlist_representation
(cellRef LUT2
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0 I1)")
)
(property INIT
(string "8")
)
(property EQN
(string "(I0 * I1)")
)
)
(instance C148
(viewRef Netlist_representation
(cellRef LUT2
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0' I1)")
)
(property INIT
(string "4")
)
(property EQN
(string "(~I0 * I1)")
)
)
(instance C149
(viewRef Netlist_representation
(cellRef LUT3
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0' I1 + I0 I2)")
)
(property INIT
(string "E4")
)
(property EQN
(string "(~I0 * I1 + I0 * I2)")
)
)
(instance C150
(viewRef Netlist_representation
(cellRef LUT3
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0 I1 + I0' I2)")
)
(property INIT
(string "D8")
)
(property EQN
(string "(I0 * I1 + ~I0 * I2)")
)
)
(instance C151
(viewRef Netlist_representation
(cellRef LUT2
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0 + I1)")
)
(property INIT
(string "E")
)
(property EQN
(string "(I0 + I1)")
)
)
(instance C152
(viewRef Netlist_representation
(cellRef LUT2
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0' I1)")
)
(property INIT
(string "4")
)
(property EQN
(string "(~I0 * I1)")
)
)
(instance C153
(viewRef Netlist_representation
(cellRef LUT3
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I2 + I0 I1)")
)
(property INIT
(string "F8")
)
(property EQN
(string "(I2 + I0 * I1)")
)
)
(instance C154
(viewRef Netlist_representation
(cellRef LUT2
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0 I1)")
)
(property INIT
(string "8")
)
(property EQN
(string "(I0 * I1)")
)
)
(instance C155
(viewRef Netlist_representation
(cellRef BUFGP
(libraryRef SPARTAN2)
)
)
)
(net CLK_BUFGPed
(joined
(portRef C
(instanceRef Present_State_reg_4)
)
(portRef C
(instanceRef Present_State_reg_0)
)
(portRef C
(instanceRef Present_State_reg_2)
)
(portRef C
(instanceRef Present_State_reg_6)
)
(portRef C
(instanceRef Present_State_reg_3)
)
(portRef C
(instanceRef Present_State_reg_1)
)
(portRef C
(instanceRef Present_State_reg_5)
)
(portRef O
(instanceRef C155)
)
)
)
(net N_RESET
(joined
(portRef CLR
(instanceRef Present_State_reg_4)
)
(portRef CLR
(instanceRef Present_State_reg_0)
)
(portRef CLR
(instanceRef Present_State_reg_2)
)
(portRef PRE
(instanceRef Present_State_reg_6)
)
(portRef CLR
(instanceRef Present_State_reg_3)
)
(portRef CLR
(instanceRef Present_State_reg_1)
)
(portRef CLR
(instanceRef Present_State_reg_5)
)
(portRef O
(instanceRef C_RESET)
)
)
)
(net N_X
(joined
(portRef O
(instanceRef C_X)
)
(portRef I0
(instanceRef C147)
)
(portRef I0
(instanceRef C148)
)
(portRef I0
(instanceRef C149)
)
(portRef I0
(instanceRef C150)
)
(portRef I0
(instanceRef C152)
)
(portRef I0
(instanceRef C153)
)
(portRef I0
(instanceRef C154)
)
)
)
(net
(rename Present_State_6 "Present_State<6>")
(joined
(portRef Q
(instanceRef Present_State_reg_6)
)
(portRef I1
(instanceRef C148)
)
(portRef I1
(instanceRef C154)
)
)
)
(net
(rename Present_State_5 "Present_State<5>")
(joined
(portRef Q
(instanceRef Present_State_reg_5)
)
(portRef I1
(instanceRef C149)
)
(portRef I1
(instanceRef C150)
)
)
)
(net
(rename Present_State_0 "Present_State<0>")
(joined
(portRef Q
(instanceRef Present_State_reg_0)
)
(portRef I1
(instanceRef C151)
)
)
)
(net
(rename Present_State_2 "Present_State<2>")
(joined
(portRef Q
(instanceRef Present_State_reg_2)
)
(portRef I1
(instanceRef C147)
)
(portRef I0
(instanceRef C151)
)
)
)
(net
(rename Present_State_3 "Present_State<3>")
(joined
(portRef Q
(instanceRef Present_State_reg_3)
)
(portRef I1
(instanceRef C152)
)
(portRef I1
(instanceRef C153)
)
)
)
(net
(rename Present_State_4 "Present_State<4>")
(joined
(portRef Q
(instanceRef Present_State_reg_4)
)
(portRef I2
(instanceRef C149)
)
(portRef I2
(instanceRef C150)
)
)
)
(net
(rename Present_State_1 "Present_State<1>")
(joined
(portRef Q
(instanceRef Present_State_reg_1)
)
(portRef I2
(instanceRef C153)
)
)
)
(net N18
(joined
(portRef D
(instanceRef Present_State_reg_6)
)
(portRef O
(instanceRef C151)
)
)
)
(net
(rename C6_N17 "C6/N17")
(joined
(portRef D
(instanceRef Present_State_reg_5)
)
(portRef O
(instanceRef C148)
)
)
)
(net
(rename C6_N26 "C6/N26")
(joined
(portRef D
(instanceRef Present_State_reg_4)
)
(portRef O
(instanceRef C154)
)
)
)
(net
(rename C6_N42 "C6/N42")
(joined
(portRef D
(instanceRef Present_State_reg_3)
)
(portRef O
(instanceRef C150)
)
)
)
(net
(rename C6_N48 "C6/N48")
(joined
(portRef D
(instanceRef Present_State_reg_2)
)
(portRef O
(instanceRef C152)
)
)
)
(net
(rename C6_N61 "C6/N61")
(joined
(portRef D
(instanceRef Present_State_reg_1)
)
(portRef O
(instanceRef C149)
)
)
)
(net
(rename C6_N70 "C6/N70")
(joined
(portRef D
(instanceRef Present_State_reg_0)
)
(portRef O
(instanceRef C153)
)
)
)
(net
(rename C8_N5 "C8/N5")
(joined
(portRef I
(instanceRef C_Z)
)
(portRef O
(instanceRef C147)
)
)
)
(net CLK
(joined
(portRef CLK)
(portRef I
(instanceRef C155)
)
)
)
(net RESET
(joined
(portRef I
(instanceRef C_RESET)
)
(portRef RESET)
)
)
(net X
(joined
(portRef I
(instanceRef C_X)
)
(portRef X)
)
)
(net Z
(joined
(portRef O
(instanceRef C_Z)
)
(portRef Z)
)
)
)
)
)
)
(design MEALY_3
(cellRef MEALY_3
(libraryRef DESIGNS)
)
(property PART
(string "2S100-TQ144-6")
)
)
)
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -