📄 moore_3.edf
字号:
(edif MOORE_3
(edifVersion 2 0 0)
(edifLevel 0)
(keywordMap
(keywordLevel 0)
)
(status
(written
(timeStamp 2002 7 17 9 16 45)
(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 LUT4
(cellType GENERIC)
(view Netlist_representation
(viewType NETLIST)
(interface
(port I0
(direction INPUT)
)
(port I1
(direction INPUT)
)
(port I2
(direction INPUT)
)
(port I3
(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 MOORE_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_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)
)
)
(property IOB
(string "FALSE")
)
)
(instance
(rename Present_State_reg_5 "Present_State_reg<5>")
(viewRef Netlist_representation
(cellRef FDP
(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 C154
(viewRef Netlist_representation
(cellRef LUT3
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0 I1 + I0 I2)")
)
(property INIT
(string "A8")
)
(property EQN
(string "(I0 * I1 + I0 * I2)")
)
)
(instance C155
(viewRef Netlist_representation
(cellRef LUT4
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0 I1 + I0' I2 + I0' I3)")
)
(property INIT
(string "DDD8")
)
(property EQN
(string "(I0 * I1 + ~I0 * I2 + ~I0 * I3)")
)
)
(instance C156
(viewRef Netlist_representation
(cellRef LUT2
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0' I1)")
)
(property INIT
(string "4")
)
(property EQN
(string "(~I0 * I1)")
)
)
(instance C157
(viewRef Netlist_representation
(cellRef LUT4
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0' I1 + I0' I2 + I0 I3)")
)
(property INIT
(string "FE54")
)
(property EQN
(string "(~I0 * I1 + ~I0 * I2 + I0 * I3)")
)
)
(instance C158
(viewRef Netlist_representation
(cellRef LUT2
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0' I1)")
)
(property INIT
(string "4")
)
(property EQN
(string "(~I0 * I1)")
)
)
(instance C159
(viewRef Netlist_representation
(cellRef LUT3
(libraryRef SPARTAN2)
)
)
(property lut_function
(string "(I0 I1 + I0 I2)")
)
(property INIT
(string "A8")
)
(property EQN
(string "(I0 * I1 + I0 * I2)")
)
)
(instance C160
(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_3)
)
(portRef C
(instanceRef Present_State_reg_1)
)
(portRef C
(instanceRef Present_State_reg_5)
)
(portRef O
(instanceRef C160)
)
)
)
(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 CLR
(instanceRef Present_State_reg_3)
)
(portRef CLR
(instanceRef Present_State_reg_1)
)
(portRef PRE
(instanceRef Present_State_reg_5)
)
(portRef O
(instanceRef C_RESET)
)
)
)
(net N_X
(joined
(portRef O
(instanceRef C_X)
)
(portRef I0
(instanceRef C154)
)
(portRef I0
(instanceRef C155)
)
(portRef I0
(instanceRef C156)
)
(portRef I0
(instanceRef C157)
)
(portRef I0
(instanceRef C158)
)
(portRef I0
(instanceRef C159)
)
)
)
(net
(rename Present_State_4 "Present_State<4>")
(joined
(portRef Q
(instanceRef Present_State_reg_4)
)
(portRef I1
(instanceRef C154)
)
(portRef I1
(instanceRef C158)
)
)
)
(net
(rename Present_State_2 "Present_State<2>")
(joined
(portRef Q
(instanceRef Present_State_reg_2)
)
(portRef I1
(instanceRef C155)
)
(portRef I2
(instanceRef C157)
)
)
)
(net
(rename Present_State_3 "Present_State<3>")
(joined
(portRef Q
(instanceRef Present_State_reg_3)
)
(portRef I1
(instanceRef C157)
)
(portRef I2
(instanceRef C159)
)
)
)
(net
(rename Present_State_5 "Present_State<5>")
(joined
(portRef Q
(instanceRef Present_State_reg_5)
)
(portRef I1
(instanceRef C156)
)
(portRef I1
(instanceRef C159)
)
)
)
(net
(rename Present_State_0 "Present_State<0>")
(joined
(portRef Q
(instanceRef Present_State_reg_0)
)
(portRef I2
(instanceRef C154)
)
(portRef I3
(instanceRef C155)
)
)
)
(net
(rename Present_State_1 "Present_State<1>")
(joined
(portRef Q
(instanceRef Present_State_reg_1)
)
(portRef I
(instanceRef C_Z)
)
(portRef I2
(instanceRef C155)
)
(portRef I3
(instanceRef C157)
)
)
)
(net
(rename C9_N15 "C9/N15")
(joined
(portRef D
(instanceRef Present_State_reg_5)
)
(portRef O
(instanceRef C154)
)
)
)
(net
(rename C9_N25 "C9/N25")
(joined
(portRef D
(instanceRef Present_State_reg_4)
)
(portRef O
(instanceRef C159)
)
)
)
(net
(rename C9_N28 "C9/N28")
(joined
(portRef D
(instanceRef Present_State_reg_3)
)
(portRef O
(instanceRef C156)
)
)
)
(net
(rename C9_N45 "C9/N45")
(joined
(portRef D
(instanceRef Present_State_reg_2)
)
(portRef O
(instanceRef C157)
)
)
)
(net
(rename C9_N56 "C9/N56")
(joined
(portRef D
(instanceRef Present_State_reg_1)
)
(portRef O
(instanceRef C155)
)
)
)
(net
(rename C9_N60 "C9/N60")
(joined
(portRef D
(instanceRef Present_State_reg_0)
)
(portRef O
(instanceRef C158)
)
)
)
(net CLK
(joined
(portRef CLK)
(portRef I
(instanceRef C160)
)
)
)
(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 MOORE_3
(cellRef MOORE_3
(libraryRef DESIGNS)
)
(property PART
(string "2S100-TQ144-6")
)
)
)
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -