Profile contract
sdl.basic@1
SDL (ITU-T Z.100) structural level: block and agent kinds, channels with signal lists (text or x_sdl signal references, NODELAY flag), signal and signal-set vocabulary, gates as block ports.
graph projectionSDL system/block diagram
Open this profile in the gallery
Primary palette
Relationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
sdl.channel | sdl.agent, sdl.block, sdl.signal, sdl.signalset | sdl.agent, sdl.block, sdl.signal, sdl.signalset | Not allowed |
sdl.links | sdl.signal, sdl.signalset | sdl.agent, sdl.block | Not allowed |
Profile verification
- Channels connect registered structural endpoints; gates are block ports. Signal references resolve to sdl.signal; signal lists and NODELAY remain declared annotations.
Profile defaults
Explicit file settings override eligible CSS, then these profile defaults and the common standard apply. Unspecified semantic facts remain unspecified.
{
"projection.kind": "graph",
"projection.profile": "sdl.basic@1"
}Projection properties
kind, profile, inputs, analysis_budget, traces, iso, depth
Design operations
- Create block/agent and gate ports; declare signals/signal sets; connect channels and choose signal references.
Bounded analysis
Structural verification and display only; no execution or implied process engine.
Outside this profile
- SDL interchange formats
- system simulation
- formal ITU conformance