Index

A

Abs() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker static method), [1] abs_distance (align.schema.constraint.BlockDistance attribute), [1] (align.schema.constraint.HorizontalDistance attribute), [1] (align.schema.constraint.VerticalDistance attribute), [1] abstract_name (align.schema.instance.Instance attribute), [1] AbstractSolver (class in align.schema.checker), [1] abut (align.schema.constraint.AlignInOrder attribute), [1] (align.schema.constraint.Order attribute), [1] actual (align.schema.hacks.FormalActualMap attribute), [1] add_abs_name() (align.schema.instance.Instance method), [1] add_generator() (align.schema.subcircuit.SubCircuit method), [1] add_layer() (align.schema.pdk.PDK method), [1] Align (class in align.schema.constraint), [1] align.schema module, [1] align.schema.checker module, [1] align.schema.constraint module, [1] align.schema.gen_dot module, [1] align.schema.hacks module, [1] align.schema.instance module, [1] align.schema.library module, [1] align.schema.model module, [1] align.schema.parser module, [1] align.schema.pdk module, [1] align.schema.subcircuit module, [1] align.schema.transistor module, [1]

align.schema.translator module align.schema.types module, [1] align.schema.visitor module, [1] align.utils module, [1] align.utils.gds2png module, [1] align.utils.gen_obs_lef module align.utils.logging_local module, [1] align.utils.logmanager module, [1] align_instances_validator() (align.schema.constraint.Align class method), [1] AlignInOrder (class in align.schema.constraint), [1] allow_mutation (align.schema.hacks.DictEmulator.Config attribute), [1] (align.schema.instance.Instance.Config attribute), [1] (align.schema.pdk.LayerVia.Config attribute), [1] (align.schema.pdk.PDK.Config attribute), [1] (align.schema.types.BaseModel.Config attribute), [1] (align.schema.types.Dict.Config attribute), [1] (align.schema.types.List.Config attribute), [1] And() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker static method), [1] annotate() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker method), [1] AnnotatedFormula (class in align.schema.checker), [1] append() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker method), [1] (align.schema.constraint.ConstraintDB method), [1] (align.schema.library.Library method), [1] (align.schema.types.List method), [1] AspectRatio (class in align.schema.constraint), [1] assert_non_negative() (in module align.schema.constraint), [1] AssignBboxVariables (class in align.schema.constraint), [1] auto_constraint (align.schema.constraint.ConfigureCompiler attribute), [1]

B

base (align.schema.model.Model attribute), [1] (align.schema.subcircuit.Circuit attribute) (align.schema.subcircuit.SubCircuit attribute) base_check() (align.schema.model.Model class method), [1] BaseModel (class in align.schema.types), [1] BaseModel.Config (class in align.schema.types), [1] bases() (align.schema.model.Model property), [1]

bbox_name (align.schema.constraint.AssignBboxVariables attribute), [1] bbox_vars() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker method), [1] block_name (align.schema.constraint.GuardRing attribute), [1] BlockDistance (class in align.schema.constraint), [1] bound_in_box_optional_fields() (align.schema.constraint.Enclose class method), [1] Boundary (class in align.schema.constraint), [1]

C

cache() (in module align.schema.visitor), [1] cast() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker static method), [1] checkpoint() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker method), [1] (align.schema.constraint.ConstraintDB method), [1] (align.schema.types.List method), [1] Circuit (class in align.schema.subcircuit), [1] clear() (align.schema.types.List method), [1] ClockPorts (class in align.schema.constraint), [1] color (align.schema.pdk.LayerMetal attribute), [1] CompactPlacement (class in align.schema.constraint), [1] configure_logging() (in module align.utils.logging_local), [1] (in module align.utils.logmanager), [1] ConfigureCompiler (class in align.schema.constraint), [1] constraint (align.schema.constraint.Align attribute) (align.schema.constraint.AlignInOrder attribute) (align.schema.constraint.AspectRatio attribute) (align.schema.constraint.AssignBboxVariables attribute) (align.schema.constraint.BlockDistance attribute) (align.schema.constraint.Boundary attribute) (align.schema.constraint.ClockPorts attribute) (align.schema.constraint.CompactPlacement attribute) (align.schema.constraint.ConfigureCompiler attribute) (align.schema.constraint.CreateAlias attribute) (align.schema.constraint.DoNotIdentify attribute) (align.schema.constraint.DoNotRoute attribute) (align.schema.constraint.DoNotUseLib attribute) (align.schema.constraint.Enclose attribute) (align.schema.constraint.Floorplan attribute) (align.schema.constraint.Generator attribute) (align.schema.constraint.GroundPorts attribute) (align.schema.constraint.GroupBlocks attribute) (align.schema.constraint.GroupCaps attribute) (align.schema.constraint.GuardRing attribute) (align.schema.constraint.HardConstraint attribute), [1] (align.schema.constraint.HorizontalDistance attribute) (align.schema.constraint.MultiConnection attribute) (align.schema.constraint.NetConst attribute) (align.schema.constraint.NetPriority attribute) (align.schema.constraint.Order attribute) (align.schema.constraint.PlaceCloser attribute) (align.schema.constraint.PlaceOnGrid attribute) (align.schema.constraint.PlaceSymmetric attribute) (align.schema.constraint.PortLocation attribute) (align.schema.constraint.PowerPorts attribute) (align.schema.constraint.SameTemplate attribute) (align.schema.constraint.SoftConstraint attribute), [1] (align.schema.constraint.Spread attribute) (align.schema.constraint.SymmetricBlocks attribute) (align.schema.constraint.SymmetricNets attribute) (align.schema.constraint.UserConstraint attribute), [1] (align.schema.constraint.VerticalDistance attribute)

ConstraintDB (class in align.schema.constraint), [1] constraints (align.schema.hacks.VerilogJsonModule attribute), [1] (align.schema.subcircuit.Circuit attribute) (align.schema.subcircuit.SubCircuit attribute), [1] ConstraintTranslator (class in align.schema.translator) copy() (align.schema.types.BaseModel method), [1] copy_on_model_validation (align.schema.types.BaseModel.Config attribute), [1] (align.schema.types.Dict.Config attribute), [1] (align.schema.types.List.Config attribute), [1] CreateAlias (class in align.schema.constraint), [1] criticality (align.schema.constraint.NetConst attribute), [1]

D

default_models() (align.schema.library.Library method), [1] device_type (align.schema.transistor.Transistor attribute), [1] Dict (class in align.schema.types), [1] Dict.Config (class in align.schema.types), [1] DictEmulator (class in align.schema.hacks), [1] DictEmulator.Config (class in align.schema.hacks), [1] direction (align.schema.constraint.AlignInOrder attribute), [1] (align.schema.constraint.Order attribute), [1] (align.schema.constraint.PlaceOnGrid attribute), [1] (align.schema.constraint.PlaceSymmetric attribute), [1] (align.schema.constraint.Spread attribute), [1] (align.schema.constraint.SymmetricBlocks attribute), [1] (align.schema.constraint.SymmetricNets attribute), [1] (align.schema.pdk.LayerMetal attribute), [1]

distance (align.schema.constraint.Spread attribute), [1] DoNotIdentify (class in align.schema.constraint), [1] DoNotRoute (class in align.schema.constraint), [1] DoNotUseLib (class in align.schema.constraint), [1] dummy (align.schema.constraint.GroupCaps attribute), [1]

E

elements (align.schema.subcircuit.Circuit attribute) (align.schema.subcircuit.SubCircuit attribute), [1] Enclose (class in align.schema.constraint), [1] expand_user_constraints() (in module align.schema.constraint), [1]

extend() (align.schema.types.List method), [1] extra (align.schema.hacks.DictEmulator.Config attribute), [1] (align.schema.types.BaseModel.Config attribute), [1] (align.schema.types.Dict.Config attribute), [1] (align.schema.types.List.Config attribute), [1]

F

fa_map (align.schema.hacks.VerilogJsonInstance attribute), [1] find() (align.schema.library.Library method), [1] fix_source_drain (align.schema.constraint.ConfigureCompiler attribute), [1] flatten() (align.schema.visitor.Visitor static method), [1] Floorplan (class in align.schema.constraint), [1]

flush() (align.utils.logging_local.StreamLogger method), [1] (align.utils.logmanager.StreamLogger method), [1] formal (align.schema.hacks.FormalActualMap attribute), [1] FormalActualMap (class in align.schema.hacks), [1] formula (align.schema.checker.AnnotatedFormula attribute), [1]

G

gds_data_type (align.schema.pdk.Layer attribute), [1] (align.schema.pdk.LayerMetal attribute) (align.schema.pdk.LayerVia attribute) gds_layer_number (align.schema.pdk.Layer attribute), [1] (align.schema.pdk.LayerMetal attribute) (align.schema.pdk.LayerVia attribute) gen_dot_file() (in module align.schema.gen_dot), [1] generate_adr_collaterals() (align.schema.pdk.PDK method), [1] generate_lef_with_obs() (in module align.utils.gen_obs_lef) generate_png() (in module align.utils.gds2png), [1] generator (align.schema.constraint.GroupBlocks attribute), [1] (align.schema.subcircuit.Circuit attribute) (align.schema.subcircuit.SubCircuit attribute), [1]

Generator (class in align.schema.constraint), [1] generic_visit() (align.schema.visitor.Transformer method), [1] (align.schema.visitor.Visitor method), [1] get_element() (align.schema.subcircuit.SubCircuit method), [1] get_instances_from_hacked_dataclasses() (in module align.schema.constraint), [1] get_loglevels() (in module align.utils.logging_local), [1] (in module align.utils.logmanager), [1] global_pin (align.schema.constraint.GuardRing attribute), [1] GroundPorts (class in align.schema.constraint), [1] group_block_name() (align.schema.constraint.GroupBlocks class method), [1] GroupBlocks (class in align.schema.constraint), [1] GroupCaps (class in align.schema.constraint), [1] guard_ring_primitives (align.schema.constraint.GuardRing attribute), [1] GuardRing (class in align.schema.constraint), [1]

H

HardConstraint (class in align.schema.constraint), [1]

HorizontalDistance (class in align.schema.constraint), [1]

I

identify_array (align.schema.constraint.ConfigureCompiler attribute), [1] Implies() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker static method), [1] Instance (class in align.schema.instance), [1] Instance.Config (class in align.schema.instance), [1] instance_name (align.schema.hacks.VerilogJsonInstance attribute), [1] instances (align.schema.constraint.Align attribute), [1] (align.schema.constraint.AlignInOrder attribute), [1] (align.schema.constraint.CreateAlias attribute), [1] (align.schema.constraint.DoNotIdentify attribute), [1] (align.schema.constraint.Enclose attribute), [1] (align.schema.constraint.GroupBlocks attribute), [1] (align.schema.constraint.GroupCaps attribute), [1] (align.schema.constraint.Order attribute), [1] (align.schema.constraint.PlaceCloser attribute), [1] (align.schema.constraint.PlaceSymmetric attribute), [1] (align.schema.constraint.SameTemplate attribute), [1] (align.schema.constraint.Spread attribute), [1] (align.schema.hacks.VerilogJsonModule attribute), [1]

is_digital (align.schema.constraint.ConfigureCompiler attribute), [1] is_identical() (align.schema.subcircuit.SubCircuit method), [1] items() (align.schema.types.Dict method), [1] iter_bbox_vars() (align.schema.checker.AbstractSolver method), [1] iter_fields() (align.schema.visitor.Visitor static method), [1]

K

keys() (align.schema.types.Dict method), [1]

L

l (align.schema.transistor.Transistor attribute), [1] label (align.schema.checker.AnnotatedFormula attribute), [1] label() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker method), [1] Layer (class in align.schema.pdk), [1] layer_h_enc_x (align.schema.pdk.LayerVia attribute), [1] layer_h_enc_y (align.schema.pdk.LayerVia attribute), [1] layer_h_width (align.schema.pdk.LayerVia attribute), [1] layer_l_enc_x (align.schema.pdk.LayerVia attribute), [1] layer_l_enc_y (align.schema.pdk.LayerVia attribute), [1] layer_l_width (align.schema.pdk.LayerVia attribute), [1] LayerMetal (class in align.schema.pdk), [1]

layers (align.schema.pdk.PDK attribute), [1] LayerVia (class in align.schema.pdk), [1] LayerVia.Config (class in align.schema.pdk), [1] leaves (align.schema.hacks.VerilogJsonTop attribute), [1] libraries (align.schema.constraint.DoNotUseLib attribute), [1] Library (class in align.schema.library), [1] line (align.schema.constraint.Align attribute), [1] (align.schema.constraint.AlignInOrder attribute), [1] List (class in align.schema.types), [1] List.Config (class in align.schema.types), [1] llx (align.schema.constraint.AssignBboxVariables attribute), [1] lly (align.schema.constraint.AssignBboxVariables attribute), [1] location (align.schema.constraint.PortLocation attribute), [1]

M

m (align.schema.transistor.TransistorArray attribute), [1] max (align.schema.pdk.ParasiticValues attribute), [1] max_aspect_ratio (align.schema.constraint.Enclose attribute), [1] max_height (align.schema.constraint.Boundary attribute), [1] (align.schema.constraint.Enclose attribute), [1] max_length (align.schema.pdk.LayerMetal attribute), [1] max_width (align.schema.constraint.Boundary attribute), [1] (align.schema.constraint.Enclose attribute), [1] mclass() (align.schema.instance.Instance property), [1] mean (align.schema.pdk.ParasiticValues attribute), [1] merge_parallel_devices (align.schema.constraint.ConfigureCompiler attribute), [1] merge_series_devices (align.schema.constraint.ConfigureCompiler attribute), [1] min (align.schema.pdk.ParasiticValues attribute), [1] min_aspect_ratio (align.schema.constraint.Enclose attribute), [1] min_end_to_end (align.schema.pdk.LayerMetal attribute), [1] min_height (align.schema.constraint.Enclose attribute), [1] min_length (align.schema.pdk.LayerMetal attribute), [1] min_width (align.schema.constraint.Enclose attribute), [1] model (align.schema.instance.Instance attribute), [1] Model (class in align.schema.model), [1] model_exists_in_library() (align.schema.instance.Instance class method), [1] model_name (align.schema.transistor.Transistor attribute), [1] module align.schema, [1] align.schema.checker, [1] align.schema.constraint, [1] align.schema.gen_dot, [1] align.schema.hacks, [1] align.schema.instance, [1] align.schema.library, [1] align.schema.model, [1] align.schema.parser, [1] align.schema.pdk, [1] align.schema.subcircuit, [1] align.schema.transistor, [1] align.schema.translator align.schema.types, [1] align.schema.visitor, [1] align.utils, [1] align.utils.gds2png, [1] align.utils.gen_obs_lef align.utils.logging_local, [1] align.utils.logmanager, [1]

modules (align.schema.hacks.VerilogJsonTop attribute), [1] MultiConnection (class in align.schema.constraint), [1] multiplier (align.schema.constraint.MultiConnection attribute), [1]

N

n_rows (align.schema.transistor.TransistorArray attribute), [1] name (align.schema.constraint.CreateAlias attribute), [1] (align.schema.constraint.Generator attribute), [1] (align.schema.constraint.GroupBlocks attribute), [1] (align.schema.constraint.GroupCaps attribute), [1] (align.schema.instance.Instance attribute), [1] (align.schema.model.Model attribute), [1] (align.schema.pdk.Layer attribute), [1] (align.schema.pdk.LayerMetal attribute) (align.schema.pdk.LayerVia attribute) (align.schema.pdk.PDK attribute), [1] (align.schema.subcircuit.Circuit attribute), [1] (align.schema.subcircuit.SubCircuit attribute), [1] name_check() (align.schema.model.Model class method), [1] name_complies_with_model() (align.schema.instance.Instance class method), [1]

name_is_unique() (align.schema.subcircuit.Circuit class method), [1] NamedTuple (class in align.schema.types), [1] net1 (align.schema.constraint.SymmetricNets attribute), [1] net2 (align.schema.constraint.SymmetricNets attribute), [1] NetConst (class in align.schema.constraint), [1] NetPriority (class in align.schema.constraint), [1] nets (align.schema.constraint.DoNotRoute attribute), [1] (align.schema.constraint.MultiConnection attribute), [1] (align.schema.constraint.NetConst attribute), [1] (align.schema.constraint.NetPriority attribute), [1] nets() (align.schema.subcircuit.SubCircuit property), [1] nf (align.schema.transistor.Transistor attribute), [1] nfin (align.schema.transistor.Transistor attribute), [1] Not() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker static method), [1] num_units (align.schema.constraint.GroupCaps attribute), [1]

O

offset (align.schema.pdk.LayerMetal attribute), [1] offsets (align.schema.constraint.OffsetsScalings attribute), [1] OffsetsScalings (class in align.schema.constraint), [1] Or() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker static method), [1]

order (align.schema.constraint.Floorplan attribute), [1] Order (class in align.schema.constraint), [1] order_instances_validator() (align.schema.constraint.Order class method), [1] ored_terms (align.schema.constraint.PlaceOnGrid attribute), [1] ored_terms_validator() (align.schema.constraint.PlaceOnGrid class method), [1]

P

pairs (align.schema.constraint.SymmetricBlocks attribute), [1] pairs_validator() (align.schema.constraint.SymmetricBlocks class method), [1] parameter_check() (align.schema.model.Model class method), [1] parameters (align.schema.constraint.Generator attribute), [1] (align.schema.hacks.VerilogJsonModule attribute), [1] (align.schema.instance.Instance attribute), [1] (align.schema.model.Model attribute), [1] (align.schema.subcircuit.Circuit attribute) (align.schema.subcircuit.SubCircuit attribute), [1] parameters_comply_with_model() (align.schema.instance.Instance class method), [1] params (align.schema.transistor.Transistor attribute), [1] ParasiticValues (class in align.schema.pdk), [1] parent() (align.schema.types.BaseModel property), [1] (align.schema.types.Dict property), [1] (align.schema.types.List property), [1] parse() (align.schema.parser.SpiceParser method), [1] PDK (class in align.schema.pdk), [1] PDK.Config (class in align.schema.pdk), [1] pin_check() (align.schema.model.Model class method), [1] (align.schema.subcircuit.Circuit class method), [1] pins (align.schema.instance.Instance attribute), [1] (align.schema.model.Model attribute), [1] (align.schema.subcircuit.Circuit attribute), [1] (align.schema.subcircuit.SubCircuit attribute), [1]

pins1 (align.schema.constraint.SymmetricNets attribute), [1] pins2 (align.schema.constraint.SymmetricNets attribute), [1] pins_comply_with_model() (align.schema.instance.Instance class method), [1] pitch (align.schema.constraint.PlaceOnGrid attribute), [1] place_symmetric_instances_validator() (align.schema.constraint.PlaceSymmetric class method), [1] PlaceCloser (class in align.schema.constraint), [1] PlaceOnGrid (class in align.schema.constraint), [1] PlaceSymmetric (class in align.schema.constraint), [1] pop() (align.schema.types.List method), [1] PortLocation (class in align.schema.constraint), [1] ports (align.schema.constraint.ClockPorts attribute), [1] (align.schema.constraint.GroundPorts attribute), [1] (align.schema.constraint.PortLocation attribute), [1] (align.schema.constraint.PowerPorts attribute), [1] (align.schema.transistor.TransistorArray attribute), [1] PowerPorts (class in align.schema.constraint), [1] prefix (align.schema.model.Model attribute), [1] (align.schema.subcircuit.Circuit attribute) (align.schema.subcircuit.SubCircuit attribute), [1] prefix_check() (align.schema.model.Model class method), [1] PrivateAttr() (in module align.schema.types), [1] propagate (align.schema.constraint.ConfigureCompiler attribute), [1] (align.schema.constraint.DoNotUseLib attribute), [1]

R

ratio_high (align.schema.constraint.AspectRatio attribute), [1] ratio_high_validator() (align.schema.constraint.AspectRatio class method), [1] ratio_low (align.schema.constraint.AspectRatio attribute), [1] read_lib_json() (in module align.schema.library), [1] reconfigure_loglevels() (in module align.utils.logging_local), [1] (in module align.utils.logmanager), [1] regions (align.schema.constraint.Floorplan attribute), [1]

remove() (align.schema.constraint.ConstraintDB method), [1] (align.schema.types.List method), [1] remove_dummy_devices (align.schema.constraint.ConfigureCompiler attribute), [1] remove_dummy_hierarchies (align.schema.constraint.ConfigureCompiler attribute), [1] revert() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker method), [1] (align.schema.types.List method), [1] root_validator() (in module align.schema.types), [1]

S

SameTemplate (class in align.schema.constraint), [1] scale_factor (align.schema.pdk.PDK attribute), [1] scalings (align.schema.constraint.OffsetsScalings attribute), [1] shield (align.schema.constraint.NetConst attribute), [1] SoftConstraint (class in align.schema.constraint), [1] SolutionNotFoundError, [1] solve() (align.schema.checker.AbstractSolver method), [1] (align.schema.checker.Z3Checker method), [1] space (align.schema.pdk.LayerMetal attribute), [1] space_x (align.schema.pdk.LayerVia attribute), [1] space_y (align.schema.pdk.LayerVia attribute), [1] SpiceParser (class in align.schema.parser), [1] Spread (class in align.schema.constraint), [1] spread_instances_validator() (align.schema.constraint.Spread class method), [1]

stack (align.schema.pdk.LayerVia attribute), [1] stop_offset (align.schema.pdk.LayerMetal attribute), [1] stop_pitch (align.schema.pdk.LayerMetal attribute), [1] stop_point (align.schema.pdk.LayerMetal attribute), [1] str2float() (in module align.schema.parser), [1] StreamLogger (class in align.utils.logging_local), [1] (class in align.utils.logmanager), [1] style (align.schema.constraint.CompactPlacement attribute), [1] subcircuit (align.schema.constraint.AspectRatio attribute), [1] (align.schema.constraint.Boundary attribute), [1] SubCircuit (class in align.schema.subcircuit), [1] SymmetricBlocks (class in align.schema.constraint), [1] SymmetricNets (class in align.schema.constraint), [1] symmetrize (align.schema.constraint.Floorplan attribute), [1]

T

Token (class in align.schema.parser), [1] Transformer (class in align.schema.visitor), [1] Transistor (class in align.schema.transistor), [1] TransistorArray (class in align.schema.transistor), [1] translate() (align.schema.constraint.Align method), [1] (align.schema.constraint.AspectRatio method), [1] (align.schema.constraint.AssignBboxVariables method), [1] (align.schema.constraint.Boundary method), [1] (align.schema.constraint.Enclose method), [1] (align.schema.constraint.GroupBlocks method), [1] (align.schema.constraint.HardConstraint method), [1] (align.schema.constraint.Order method), [1] (align.schema.constraint.Spread method), [1] (align.schema.constraint.SymmetricBlocks method), [1] (align.schema.constraint.UserConstraint method), [1] (align.schema.hacks.VerilogJsonInstance method), [1] (align.schema.hacks.VerilogJsonModule method), [1] (align.schema.instance.Instance method), [1] (align.schema.subcircuit.SubCircuit method), [1] (align.schema.types.List method), [1]

type (align.schema.parser.Token attribute), [1]

U

unit_c (align.schema.pdk.LayerMetal attribute), [1] unit_cap (align.schema.constraint.GroupCaps attribute), [1] unit_cc (align.schema.pdk.LayerMetal attribute), [1] unit_r (align.schema.pdk.LayerMetal attribute), [1] (align.schema.pdk.LayerVia attribute), [1]

unit_transistor (align.schema.transistor.TransistorArray attribute), [1] update_element() (align.schema.subcircuit.SubCircuit method), [1] upper_case() (in module align.schema.constraint), [1] urx (align.schema.constraint.AssignBboxVariables attribute), [1] ury (align.schema.constraint.AssignBboxVariables attribute), [1] UserConstraint (class in align.schema.constraint), [1]

V

validate_arguments() (in module align.schema.types), [1] validate_assignment (align.schema.types.BaseModel.Config attribute), [1] (align.schema.types.Dict.Config attribute), [1] (align.schema.types.List.Config attribute), [1] validate_instances() (in module align.schema.constraint), [1] validator() (in module align.schema.types), [1] value (align.schema.parser.Token attribute), [1] values() (align.schema.types.Dict method), [1]

verify() (align.schema.hacks.VerilogJsonModule method), [1] (align.schema.subcircuit.SubCircuit method), [1] VerilogJsonInstance (class in align.schema.hacks), [1] VerilogJsonModule (class in align.schema.hacks), [1] VerilogJsonTop (class in align.schema.hacks), [1] VerticalDistance (class in align.schema.constraint), [1] visit() (align.schema.visitor.Visitor method), [1] Visitor (class in align.schema.visitor), [1]

W

w (align.schema.transistor.Transistor attribute), [1] weight (align.schema.constraint.AspectRatio attribute), [1] (align.schema.constraint.NetPriority attribute), [1] width (align.schema.pdk.LayerMetal attribute), [1]

width_x (align.schema.pdk.LayerVia attribute), [1] width_y (align.schema.pdk.LayerVia attribute), [1] write() (align.utils.logging_local.StreamLogger method), [1] (align.utils.logmanager.StreamLogger method), [1]

X

x_is_valid() (align.schema.constraint.AssignBboxVariables class method), [1] xyce() (align.schema.instance.Instance method), [1] (align.schema.model.Model method), [1] (align.schema.subcircuit.Circuit method), [1] (align.schema.subcircuit.SubCircuit method), [1]

Y

y_is_valid() (align.schema.constraint.AssignBboxVariables class method), [1] yield_constraints() (align.schema.constraint.AlignInOrder method), [1] (align.schema.constraint.Floorplan method), [1] (align.schema.constraint.UserConstraint method), [1]

Z

Z3Checker (class in align.schema.checker), [1]