// ============================================================================
// f32.v — 54F/74F32 Quad 2-Input OR Gate
//
// Fairchild FAST (Advanced Schottky TTL)
// Source: docs/devices/54F74F32.txt (1980 Fairchild FAST Data Book, page 4-10)
//
// Logic function (each gate): Z = A | B
//
// Timing values from the data sheet AC Characteristics table,
// 54F/74F column (T_A = +25 C, V_CC = +5.0 V, C_L = 15 pF), min:typ:max ns.
// The sheet's second row, C_L = 50 pF, gives min/max only:
//   A or B to Z   tPLH 3.0 / 7.0   tPHL 3.0 / 6.0 ns
//
// Ports are scalar and named after the data sheet pin names: Icarus Verilog
// does not fully support multi-bit (parallel) specify path connections, so
// vector ports would get incorrect per-bit delays.
// ============================================================================
`timescale 1ns/100ps

module f32 (
    input  wire a1, b1,     // gate 1 inputs
    output wire z1,         // gate 1 output
    input  wire a2, b2,     // gate 2 inputs
    output wire z2,         // gate 2 output
    input  wire a3, b3,     // gate 3 inputs
    output wire z3,         // gate 3 output
    input  wire a4, b4,     // gate 4 inputs
    output wire z4          // gate 4 output
);

    assign z1 = a1 | b1;
    assign z2 = a2 | b2;
    assign z3 = a3 | b3;
    assign z4 = a4 | b4;

    specify
        // Propagation delay, A or B to Z (data sheet: tPLH 2.5/3.9/5.5,
        // tPHL 2.5/3.5/5.0 ns)
        specparam tlh = 2.5:3.9:5.5;
        specparam thl = 2.5:3.5:5.0;

        (a1, b1 => z1) = (tlh, thl);
        (a2, b2 => z2) = (tlh, thl);
        (a3, b3 => z3) = (tlh, thl);
        (a4, b4 => z4) = (tlh, thl);
    endspecify

endmodule