mirror of https://github.com/efabless/caravel.git
227 lines
15 KiB
Plaintext
227 lines
15 KiB
Plaintext
|
|
Circuit 1 cell sky130_fd_pr__pfet_01v8_hvt and Circuit 2 cell sky130_fd_pr__pfet_01v8_hvt are black boxes.
|
|
Warning: Equate pins: cell sky130_fd_pr__pfet_01v8_hvt is a placeholder, treated as a black box.
|
|
Warning: Equate pins: cell sky130_fd_pr__pfet_01v8_hvt is a placeholder, treated as a black box.
|
|
|
|
Subcircuit pins:
|
|
Circuit 1: sky130_fd_pr__pfet_01v8_hvt |Circuit 2: sky130_fd_pr__pfet_01v8_hvt
|
|
-------------------------------------------|-------------------------------------------
|
|
1 |1
|
|
2 |2
|
|
3 |3
|
|
4 |4
|
|
---------------------------------------------------------------------------------------
|
|
Cell pin lists are equivalent.
|
|
Device classes sky130_fd_pr__pfet_01v8_hvt and sky130_fd_pr__pfet_01v8_hvt are equivalent.
|
|
|
|
Circuit 1 cell sky130_fd_pr__nfet_01v8 and Circuit 2 cell sky130_fd_pr__nfet_01v8 are black boxes.
|
|
Warning: Equate pins: cell sky130_fd_pr__nfet_01v8 is a placeholder, treated as a black box.
|
|
Warning: Equate pins: cell sky130_fd_pr__nfet_01v8 is a placeholder, treated as a black box.
|
|
|
|
Subcircuit pins:
|
|
Circuit 1: sky130_fd_pr__nfet_01v8 |Circuit 2: sky130_fd_pr__nfet_01v8
|
|
-------------------------------------------|-------------------------------------------
|
|
1 |1
|
|
2 |2
|
|
3 |3
|
|
4 |4
|
|
---------------------------------------------------------------------------------------
|
|
Cell pin lists are equivalent.
|
|
Device classes sky130_fd_pr__nfet_01v8 and sky130_fd_pr__nfet_01v8 are equivalent.
|
|
|
|
Class sky130_fd_sc_hd__clkbuf_8 (0): Merged 16 parallel devices.
|
|
Class sky130_fd_sc_hd__clkbuf_8 (1): Merged 16 parallel devices.
|
|
Subcircuit summary:
|
|
Circuit 1: sky130_fd_sc_hd__clkbuf_8 |Circuit 2: sky130_fd_sc_hd__clkbuf_8
|
|
-------------------------------------------|-------------------------------------------
|
|
sky130_fd_pr__pfet_01v8_hvt (10->2) |sky130_fd_pr__pfet_01v8_hvt (10->2)
|
|
sky130_fd_pr__nfet_01v8 (10->2) |sky130_fd_pr__nfet_01v8 (10->2)
|
|
Number of devices: 4 |Number of devices: 4
|
|
Number of nets: 7 |Number of nets: 7
|
|
---------------------------------------------------------------------------------------
|
|
Netlists match uniquely.
|
|
|
|
Subcircuit pins:
|
|
Circuit 1: sky130_fd_sc_hd__clkbuf_8 |Circuit 2: sky130_fd_sc_hd__clkbuf_8
|
|
-------------------------------------------|-------------------------------------------
|
|
X |X
|
|
VGND |VGND
|
|
VNB |VNB
|
|
A |A
|
|
VPWR |VPWR
|
|
VPB |VPB
|
|
---------------------------------------------------------------------------------------
|
|
Cell pin lists are equivalent.
|
|
Device classes sky130_fd_sc_hd__clkbuf_8 and sky130_fd_sc_hd__clkbuf_8 are equivalent.
|
|
|
|
Cell sky130_fd_sc_hd__diode_2 (0) disconnected node: VGND
|
|
Cell sky130_fd_sc_hd__diode_2 (0) disconnected node: VPWR
|
|
Cell sky130_fd_sc_hd__diode_2 (0) disconnected node: VPB
|
|
Cell sky130_fd_sc_hd__diode_2 (1) disconnected node: VGND
|
|
Cell sky130_fd_sc_hd__diode_2 (1) disconnected node: VPB
|
|
Cell sky130_fd_sc_hd__diode_2 (1) disconnected node: VPWR
|
|
Subcircuit summary:
|
|
Circuit 1: sky130_fd_sc_hd__diode_2 |Circuit 2: sky130_fd_sc_hd__diode_2
|
|
-------------------------------------------|-------------------------------------------
|
|
sky130_fd_pr__diode_pw2nd_05v5 (1) |sky130_fd_pr__diode_pw2nd_05v5 (1)
|
|
Number of devices: 1 |Number of devices: 1
|
|
Number of nets: 2 |Number of nets: 2
|
|
---------------------------------------------------------------------------------------
|
|
Netlists match uniquely.
|
|
|
|
Subcircuit pins:
|
|
Circuit 1: sky130_fd_sc_hd__diode_2 |Circuit 2: sky130_fd_sc_hd__diode_2
|
|
-------------------------------------------|-------------------------------------------
|
|
VNB |VNB
|
|
DIODE |DIODE
|
|
VGND |VGND
|
|
VPWR |VPWR
|
|
VPB |VPB
|
|
---------------------------------------------------------------------------------------
|
|
Cell pin lists are equivalent.
|
|
Device classes sky130_fd_sc_hd__diode_2 and sky130_fd_sc_hd__diode_2 are equivalent.
|
|
|
|
Subcircuit summary:
|
|
Circuit 1: sky130_fd_sc_hd__decap_3 |Circuit 2: sky130_fd_sc_hd__decap_3
|
|
-------------------------------------------|-------------------------------------------
|
|
sky130_fd_pr__pfet_01v8_hvt (1) |sky130_fd_pr__pfet_01v8_hvt (1)
|
|
sky130_fd_pr__nfet_01v8 (1) |sky130_fd_pr__nfet_01v8 (1)
|
|
Number of devices: 2 |Number of devices: 2
|
|
Number of nets: 4 |Number of nets: 4
|
|
---------------------------------------------------------------------------------------
|
|
Netlists match uniquely.
|
|
|
|
Subcircuit pins:
|
|
Circuit 1: sky130_fd_sc_hd__decap_3 |Circuit 2: sky130_fd_sc_hd__decap_3
|
|
-------------------------------------------|-------------------------------------------
|
|
VPB |VPB
|
|
VNB |VNB
|
|
VPWR |VPWR
|
|
VGND |VGND
|
|
---------------------------------------------------------------------------------------
|
|
Cell pin lists are equivalent.
|
|
Device classes sky130_fd_sc_hd__decap_3 and sky130_fd_sc_hd__decap_3 are equivalent.
|
|
|
|
Subcircuit summary:
|
|
Circuit 1: sky130_fd_sc_hd__decap_4 |Circuit 2: sky130_fd_sc_hd__decap_4
|
|
-------------------------------------------|-------------------------------------------
|
|
sky130_fd_pr__pfet_01v8_hvt (1) |sky130_fd_pr__pfet_01v8_hvt (1)
|
|
sky130_fd_pr__nfet_01v8 (1) |sky130_fd_pr__nfet_01v8 (1)
|
|
Number of devices: 2 |Number of devices: 2
|
|
Number of nets: 4 |Number of nets: 4
|
|
---------------------------------------------------------------------------------------
|
|
Netlists match uniquely.
|
|
|
|
Subcircuit pins:
|
|
Circuit 1: sky130_fd_sc_hd__decap_4 |Circuit 2: sky130_fd_sc_hd__decap_4
|
|
-------------------------------------------|-------------------------------------------
|
|
VPB |VPB
|
|
VNB |VNB
|
|
VPWR |VPWR
|
|
VGND |VGND
|
|
---------------------------------------------------------------------------------------
|
|
Cell pin lists are equivalent.
|
|
Device classes sky130_fd_sc_hd__decap_4 and sky130_fd_sc_hd__decap_4 are equivalent.
|
|
|
|
Subcircuit summary:
|
|
Circuit 1: sky130_fd_sc_hd__decap_8 |Circuit 2: sky130_fd_sc_hd__decap_8
|
|
-------------------------------------------|-------------------------------------------
|
|
sky130_fd_pr__pfet_01v8_hvt (1) |sky130_fd_pr__pfet_01v8_hvt (1)
|
|
sky130_fd_pr__nfet_01v8 (1) |sky130_fd_pr__nfet_01v8 (1)
|
|
Number of devices: 2 |Number of devices: 2
|
|
Number of nets: 4 |Number of nets: 4
|
|
---------------------------------------------------------------------------------------
|
|
Netlists match uniquely.
|
|
|
|
Subcircuit pins:
|
|
Circuit 1: sky130_fd_sc_hd__decap_8 |Circuit 2: sky130_fd_sc_hd__decap_8
|
|
-------------------------------------------|-------------------------------------------
|
|
VPB |VPB
|
|
VNB |VNB
|
|
VPWR |VPWR
|
|
VGND |VGND
|
|
---------------------------------------------------------------------------------------
|
|
Cell pin lists are equivalent.
|
|
Device classes sky130_fd_sc_hd__decap_8 and sky130_fd_sc_hd__decap_8 are equivalent.
|
|
|
|
Subcircuit summary:
|
|
Circuit 1: sky130_fd_sc_hd__decap_6 |Circuit 2: sky130_fd_sc_hd__decap_6
|
|
-------------------------------------------|-------------------------------------------
|
|
sky130_fd_pr__pfet_01v8_hvt (1) |sky130_fd_pr__pfet_01v8_hvt (1)
|
|
sky130_fd_pr__nfet_01v8 (1) |sky130_fd_pr__nfet_01v8 (1)
|
|
Number of devices: 2 |Number of devices: 2
|
|
Number of nets: 4 |Number of nets: 4
|
|
---------------------------------------------------------------------------------------
|
|
Netlists match uniquely.
|
|
|
|
Subcircuit pins:
|
|
Circuit 1: sky130_fd_sc_hd__decap_6 |Circuit 2: sky130_fd_sc_hd__decap_6
|
|
-------------------------------------------|-------------------------------------------
|
|
VPB |VPB
|
|
VNB |VNB
|
|
VPWR |VPWR
|
|
VGND |VGND
|
|
---------------------------------------------------------------------------------------
|
|
Cell pin lists are equivalent.
|
|
Device classes sky130_fd_sc_hd__decap_6 and sky130_fd_sc_hd__decap_6 are equivalent.
|
|
|
|
Class buff_flash_clkrst (0): Merged 34 parallel devices.
|
|
Class buff_flash_clkrst (1): Merged 34 parallel devices.
|
|
Subcircuit summary:
|
|
Circuit 1: buff_flash_clkrst |Circuit 2: buff_flash_clkrst
|
|
-------------------------------------------|-------------------------------------------
|
|
sky130_fd_sc_hd__clkbuf_8 (15) |sky130_fd_sc_hd__clkbuf_8 (15)
|
|
sky130_fd_sc_hd__diode_2 (15) |sky130_fd_sc_hd__diode_2 (15)
|
|
sky130_fd_sc_hd__decap_3 (13->1) |sky130_fd_sc_hd__decap_3 (13->1)
|
|
sky130_fd_sc_hd__decap_4 (21->1) |sky130_fd_sc_hd__decap_4 (21->1)
|
|
sky130_fd_sc_hd__decap_8 (2->1) |sky130_fd_sc_hd__decap_8 (2->1)
|
|
sky130_fd_sc_hd__decap_6 (2->1) |sky130_fd_sc_hd__decap_6 (2->1)
|
|
Number of devices: 34 |Number of devices: 34
|
|
Number of nets: 32 |Number of nets: 32
|
|
---------------------------------------------------------------------------------------
|
|
Resolving automorphisms by property value.
|
|
Resolving automorphisms by pin name.
|
|
Netlists match uniquely.
|
|
|
|
Subcircuit pins:
|
|
Circuit 1: buff_flash_clkrst |Circuit 2: buff_flash_clkrst
|
|
-------------------------------------------|-------------------------------------------
|
|
VGND |VGND
|
|
VPWR |VPWR
|
|
in_e[9] |in_e[9]
|
|
in_e[4] |in_e[4]
|
|
in_e[1] |in_e[1]
|
|
in_w[2] |in_w[2]
|
|
in_e[10] |in_e[10]
|
|
in_e[5] |in_e[5]
|
|
in_e[11] |in_e[11]
|
|
in_e[6] |in_e[6]
|
|
in_e[8] |in_e[8]
|
|
in_e[3] |in_e[3]
|
|
in_w[1] |in_w[1]
|
|
in_e[0] |in_e[0]
|
|
in_w[0] |in_w[0]
|
|
in_e[7] |in_e[7]
|
|
in_e[2] |in_e[2]
|
|
out_w[9] |out_w[9]
|
|
out_w[4] |out_w[4]
|
|
out_w[11] |out_w[11]
|
|
out_w[6] |out_w[6]
|
|
out_e[0] |out_e[0]
|
|
out_e[2] |out_e[2]
|
|
out_w[1] |out_w[1]
|
|
out_w[8] |out_w[8]
|
|
out_w[3] |out_w[3]
|
|
out_w[10] |out_w[10]
|
|
out_w[5] |out_w[5]
|
|
out_e[1] |out_e[1]
|
|
out_w[0] |out_w[0]
|
|
out_w[7] |out_w[7]
|
|
out_w[2] |out_w[2]
|
|
---------------------------------------------------------------------------------------
|
|
Cell pin lists are equivalent.
|
|
Device classes buff_flash_clkrst and buff_flash_clkrst are equivalent.
|
|
|
|
Final result: Circuits match uniquely.
|
|
.
|