# Generated by Yosys 0.8+147 (git sha1 266511b2, clang 6.0.0-1ubuntu2 -fPIC -Os)

.model top
.inputs CLK I2C_SCL I2C_SDA INTERRUPT KBD_RC[0] KBD_RC[1] KBD_RC[2] KBD_RC[3] KBD_RC[4] KBD_RC[5] KBD_RC[6] KBD_RC[7] KBD_RC[8] KBD_RC[9] KBD_RC[10] KBD_RC[11] KBD_RC[12] KBD_RC[13] KBD_RC[14] KBD_RC[15] KBD_RC[16] KBD_RC[17] KBD_RC[18] KBD_RC[19] KBD_RC[20] KBD_RC[21] KBD_RC[22] KBD_RC[23] KBD_RC[24] KBD_RC[25] KBD_RC[26] KBD_RC[27] KBD_RC[28] KBD_RC[29] KBD_RC[30] KBD_RC[31] KBD_RC[32] KBD_RC[33]
.outputs DBG_LED[0] DBG_LED[1] DBG_LED[2] DBG_TX I2C_SDA INTERRUPT KBD_RC[0] KBD_RC[1] KBD_RC[2] KBD_RC[3] KBD_RC[4] KBD_RC[5] KBD_RC[6] KBD_RC[7] KBD_RC[8] KBD_RC[9] KBD_RC[10] KBD_RC[11] KBD_RC[12] KBD_RC[13] KBD_RC[14] KBD_RC[15] KBD_RC[16] KBD_RC[17] KBD_RC[18] KBD_RC[19] KBD_RC[20] KBD_RC[21] KBD_RC[22] KBD_RC[23] KBD_RC[24] KBD_RC[25] KBD_RC[26] KBD_RC[27] KBD_RC[28] KBD_RC[29] KBD_RC[30] KBD_RC[31] KBD_RC[32] KBD_RC[33]
.names $false
.names $true
1
.names $undef
.gate SB_IO D_IN_0=KBD_RC_IN[0] D_OUT_0=$false OUTPUT_ENABLE=$true PACKAGE_PIN=KBD_RC[0]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[10] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[10]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[11] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[11]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[12] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[12]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[13] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[13]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[14] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[14]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[15] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[15]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[16] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[16]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[17] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[17]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[18] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[18]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[19] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[19]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[1] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[1]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[20] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[20]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[21] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[21]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[22] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[22]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[23] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[23]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[24] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[24]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[25] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[25]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[26] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[26]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[27] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[27]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[28] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[28]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[29] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[29]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[2] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[2]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[30] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[30]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[31] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[31]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[32] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[32]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[33] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[33]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[3] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[3]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[4] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[4]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[5] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[5]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[6] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[6]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[7] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[7]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[8] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[8]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.gate SB_IO D_IN_0=KBD_RC_IN[9] D_OUT_0=$false OUTPUT_ENABLE=$false PACKAGE_PIN=KBD_RC[9]
.attr module_not_derived 00000000000000000000000000000001
.attr src "top.v:121"
.param PIN_TYPE 101001
.param PULLUP 1
.names $false DBG_LED[0]
1 1
.names $false DBG_LED[1]
1 1
.names KBD_RC_IN[23] DBG_LED[2]
1 1
.names $true DBG_TX
1 1
.names CLK UART.CLK
1 1
.end