Crate veryl_metadata 

Re-exports

pub use component_manifest::COMMITTED_MANIFEST_FILE;

pub use component_manifest::ComponentManifest;

pub use component_manifest::WidthExpr;

pub use component_manifest::eval_width_expr;

pub use component_manifest::parse_library_manifest;

pub use component_manifest::parse_width_expr;

pub use semver;

Modules

component_manifest

Parsing of component interface manifests (the JSON emitted by the #[component] attribute), shared by the simulator’s load-time checks and the analyzer’s analysis-time checks.

Structs

Build

BuildInfo

Component

A cargo package providing user-defined verification components, declared as a [[components]] entry. Every name the package exports with veryl_component_export! becomes available as $comp::<name> in #[test] modules.

DependencyComponents

The [[components]] provided by a resolved dependency.

Doc

Format

Lint

LintPortability

Lockfile

Metadata

MetadataDependencyV2

MetadataOutputV2

MetadataProjectV2

Project

Pubfile

Publish

Release

Synth

Test

Enums

BuiltinType

BumpKind

Case

ClockType

ComponentBackendKind

FilelistType

Git

Library

Built-in PDK library identifiers. Each variant maps to a hard-coded cell-data table in veryl-synthesizer.

LockSource

MetadataError

MetadataSourceV2

NewlineStyle

NonPortableItem

ProjectProperty

ResetType

SimType

SourceMapTarget

Target

UrlPath

WaveFormFormat

WaveFormTarget

Constants

VERYL_VERSION

Functions

append_wasm_custom_section

Appends a custom section to a wasm binary (custom sections may appear anywhere, including after the data section, so appending is valid).

check_project_name

Validates a project or component name: identifiers only, __ reserved.

component_crate_name

The [package].name of the cargo package at crate_dir.

read_committed_manifests

Reads every export from the committed veryl.manifest.json in the component crate.

sidecar_manifest_path

Path of the build-output manifest sidecar for a component crate. The name derives from the cargo package name — not the built artifact — so the writer (veryl test) and this reader agree regardless of platform library prefixes or a [lib] name override.

wasm_custom_section

Returns the payload of the first custom section named name, or None if the input is not a wasm binary or has no such section.