mirror of https://github.com/efabless/caravel.git
109 lines
2.7 KiB
Coq
109 lines
2.7 KiB
Coq
|
module gpio_logic_high (gpio_logic1,
|
||
|
|
vccd1,
|
||
|
|
vssd1);
|
||
|
|
output gpio_logic1;
|
||
|
|
input vccd1;
|
||
|
|
input vssd1;
|
||
|
|
|
||
|
|
|
||
|
|
sky130_fd_sc_hd__decap_4 FILLER_0_3 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__fill_1 FILLER_0_7 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 FILLER_0_9 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__fill_1 FILLER_1_11 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_8 FILLER_1_3 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_4 FILLER_2_3 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__fill_1 FILLER_2_7 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 FILLER_2_9 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_6 FILLER_3_3 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_4 FILLER_4_3 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__fill_1 FILLER_4_7 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 FILLER_4_9 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 PHY_0 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 PHY_1 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 PHY_2 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 PHY_3 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 PHY_4 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 PHY_5 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 PHY_6 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 PHY_7 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 PHY_8 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__decap_3 PHY_9 (.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__tapvpwrvgnd_1 TAP_10 (.VGND(vssd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__tapvpwrvgnd_1 TAP_11 (.VGND(vssd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__tapvpwrvgnd_1 TAP_12 (.VGND(vssd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
sky130_fd_sc_hd__conb_1 gpio_logic_high (.HI(gpio_logic1),
|
||
|
|
.VGND(vssd1),
|
||
|
|
.VNB(vssd1),
|
||
|
|
.VPB(vccd1),
|
||
|
|
.VPWR(vccd1));
|
||
|
|
endmodule
|