5.12 SKY130 實戰#

inv_1 inv_2 inv_4 buf_1 buf_2 buf_4 buf_8 clkbuf_1 clkbuf_2 clkbuf_4 clkbuf_8
nand2_1 nor2_1 and2_1 or2_1 xor2_1 xnor2_1 a21oi_1 o21ai_1 mux2_1
nand3_1 nor3_1 and3_1 or3_1 a22oi_1 o22ai_1 a21o_1 o21a_1 conb_1
dfxtp_1 dfrtp_1 dfstp_1 dfrtn_1
fill_1 fill_2 fill_4 fill_8 tapvpwrvgnd_1
decap_3 decap_4 decap_6 decap_8 decap_12

veryl-eda/pdk/sky130hd/
├── LICENSE                              (Apache-2.0)
├── README.md
├── sky130_fd_sc_hd.tlef                 792 行（製程：SITE/LAYER/VIA）
├── sky130_fd_sc_hd.lef                4,442 行（42 個 MACRO）
├── sky130_fd_sc_hd__tt_025C_1v80.lib  6,240 行（42 個 cell 的時序）
└── sky130_fd_sc_hd.gds                3,743 行（二進位，cell 幾何）

// veryl-eda/src/pdk/mod.rs
pub fn sky130_builtin() -> Result<Rc<Tech>, String> {
    thread_local! { static T: RefCell<Option<Rc<Tech>>> = const { RefCell::new(None) }; }
    if let Some(t) = T.with(|t| t.borrow().clone()) { return Ok(t); }
    let lib = liberty::library(&liberty::parse(include_str!("../../pdk/sky130hd/sky130_fd_sc_hd__tt_025C_1v80.lib"))?);
    let mut lef = lef::parse(include_str!("../../pdk/sky130hd/sky130_fd_sc_hd.tlef"))?;
    lef.merge(lef::parse(include_str!("../../pdk/sky130hd/sky130_fd_sc_hd.lef"))?);
    let t = Rc::new(sky130(lib, lef)?);
    T.with(|c| *c.borrow_mut() = Some(t.clone()));
    Ok(t)
}
pub const SKY130_GDS: &[u8] = include_bytes!("../../pdk/sky130hd/sky130_fd_sc_hd.gds");

# tools/sky130.sh（節錄）
R=https://raw.githubusercontent.com/The-OpenROAD-Project/OpenROAD-flow-scripts/master/flow/platforms/sky130hd
for f in lib/sky130_fd_sc_hd__tt_025C_1v80.lib lef/sky130_fd_sc_hd.tlef \
         lef/sky130_fd_sc_hd_merged.lef gds/sky130_fd_sc_hd.gds; do
    curl -sSfL -o "$D/$(basename $f)" "$R/$f"
done

# tools/sky130_subset.py（節錄）
def drop_groups(s, kinds):
    out, i = [], 0
    rx = re.compile(r"^\s*(%s)\s*\([^)]*\)\s*\{" % "|".join(kinds), re.M)
    while True:
        m = rx.search(s, i)
        if not m: out.append(s[i:]); break
        out.append(s[i:m.start()])
        i = group_end(s, m.start())      # 配對大括號（跳過字串內的 {}）
        ...
lib = open(...).read()
first = lib.index('cell ("')
head = lib[:first]                        # library header（單位、模板、操作條件）
cells = []
for n in names:
    m = re.search(r'^\s*cell \("%s"\)' % n, lib, re.M)
    body = lib[m.start():group_end(lib, m.start())]
    cells.append(drop_groups(body, ["internal_power", "leakage_power"]))
out = head + "\n".join(cells) + "\n}\n"

# tools/sky130_subset.py（節錄）
tlef = open(...tlef).read()               # 製程檔原樣
lef = open(...merged.lef).read()
blocks = []
for n in names:
    m = re.search(r"^MACRO %s\n.*?^END %s\n" % (n, n), lef, re.M | re.S)
    if m: blocks.append(m.group(0))
hdr = "VERSION 5.7 ;\nBUSBITCHARS \"[]\" ;\nDIVIDERCHAR \"/\" ;\n\n"
open(..., "w").write(hdr + "\n".join(blocks) + "\nEND LIBRARY\n")

# tools/sky130_subset.py（節錄）
gds = open(..., "rb").read()
recs, i = [], 0
while i + 4 <= len(gds):
    ln, rt = struct.unpack(">HH", gds[i:i + 4])      # 與 gds.rs 同款的記錄掃描
    recs.append((rt >> 8, gds[i:i + ln]))
    i += ln
...
if t == 0x05:                                        # BGNSTR
    sname = recs[k + 1][1][4:].rstrip(b"\0").decode()
    if sname in keep_names:
        for r in recs[k:j + 1]: outb += r[1]         # BGNSTR..ENDSTR 原樣複製

// veryl-eda/src/pdk/mod.rs（節錄）
/// where the full SKY130 files are (VERYL_EDA_SKY130, else /Users/Shared/ccc/sky130hd, ~/sky130hd)
pub fn sky130_dir() -> Option<std::path::PathBuf> {
    let mut c: Vec<std::path::PathBuf> = vec![];
    if let Ok(d) = std::env::var("VERYL_EDA_SKY130") { c.push(d.into()); }
    c.push("/Users/Shared/ccc/sky130hd".into());
    if let Ok(h) = std::env::var("HOME") { c.push(std::path::Path::new(&h).join("sky130hd")); }
    c.into_iter().find(|d| d.join("sky130_fd_sc_hd.tlef").exists())
}

#[cfg(not(target_arch = "wasm32"))]
pub fn sky130_from_dir(d: &std::path::Path) -> Result<Tech, String> {
    let rd = |f: &str| std::fs::read_to_string(d.join(f)).map_err(|e| format!("{}: {}", f, e));
    let lib = liberty::library(&liberty::parse(&rd("sky130_fd_sc_hd__tt_025C_1v80.lib")?)?);
    let mut lef = lef::parse(&rd("sky130_fd_sc_hd.tlef")?)?;
    lef.merge(lef::parse(&rd("sky130_fd_sc_hd_merged.lef")?)?);
    sky130(lib, lef)
}

// veryl-eda/src/pdk/mod.rs（tests 節錄）
let t = sky130_from_dir(&d).unwrap();
assert!(lib.cells.len() > 400, "{} cells", lib.cells.len());
assert!(lef.macros.len() > 400);
assert_eq!((t.row_h, t.site_w, t.tracks), (2.72, 0.46, 8));
let arc = &inv.pin("Y").unwrap().arcs[0];
// cell_fall at (0.01 ns, 0.0005 pF) is the table's first entry
assert!((arc.cell_fall.as_ref().unwrap().at(0.01, 0.0005) - 0.0143656).abs() < 1e-9);
for b in t.cells.values() { assert_eq!(b.access.len(), b.pins.len(), "{}", b.cell); }

// veryl-eda/src/pdk/mod.rs
/// memories become SRAM macros (vlib) or stay flip-flops
pub sram: bool,

# test.sh 的慣例（節錄自 AGENTS.md 的描述）
# SKY130_MAP_ONLY: 大設計只做到映射，不跑後段
# Memories are flip-flops in SKY130 (slow flow on the big ones:
# test.sh uses --map-only for SKY130_MAP_ONLY)

# 內建子集（wasm 同款資料）
v2c synth --asic --pdk sky130 examples/counter.veryl

# 完整庫
tools/sky130.sh ~/sky130hd          # 下載（Apache-2.0）
export VERYL_EDA_SKY130=~/sky130hd
v2c synth --asic --pdk sky130:~/sky130hd examples/counter.veryl

# 大設計：只驗映射
SKY130_MAP_ONLY=1 ./test.sh

# GDS 獨立驗證（5.10 節）
GDS_PY=python3 ./test.sh            # 需要 pip install klayout