slang namespace

Classes

class AssignmentExpression

Represents an assignment expression.

class AssignmentPatternExpressionBase

Base class for assignment pattern expressions.

struct AssociativeArray

Represents a SystemVerilog associative array, for use during constant evaluation.

class AssociativeArrayType

Represents an unpacked array that provides associative lookup.

template<typename TDerived, bool VisitStatements, bool VisitExpressions>

struct ASTVisitor

class Bag

class BinaryExpression

Represents a binary operator expression.

template<typename T>

class bitmask

class BlockStatement

Represents a sequential or parallel block statement.

struct BufferID

class BumpAllocator

class CallExpression

Represents a subroutine call.

class CHandleType

Represents storage for pointers passed using the DPI (a "C" compatible handle).

class ClassType

Represents a class definition type.

class CommandLine

class Compilation

struct CompilationOptions

Contains various options that can control compilation behavior.

class CompilationUnitSymbol

The root of a single compilation unit.

class ConcatenationExpression

Represents a concatenation expression.

class ConditionalExpression

Represents a conditional operator expression.

struct ConstantRange

class ConstantValue

struct ConstTokenOrSyntax

A token or a constant syntax node.

class ContinuousAssignSymbol

Represents a continuous assignment statement.

class ConversionExpression

Represents a type conversion expression (implicit or explicit).

class CopyClassExpression

Represents a new expression that copies a class instance.

template<typename T>

class CopyPtr

class CVConstIterator

class CVIterator

class DataTypeExpression

class DeclaredType

class Diagnostic

Wraps up a reported diagnostic along with location in source and any arguments.

class DiagnosticEngine

class Diagnostics

A collection of diagnostics.

class DynamicArrayType

Represents a dynamically sized unpacked array.

class ElabSystemTaskSymbol

Represents an elaboration system task, such as $error or $warning.

class ElementSelectExpression

Represents a single element selection expression.

class EmptyArgumentExpression

class EmptyMemberSymbol

class EmptyStatement

Represents an empty statement, used as a placeholder or an anchor for attributes.

class EnumType

Represents an enumerated type.

class EnumValueSymbol

Represents an enumerated value / member.

class ErrorType

class EvalContext

class EventType

class ExplicitImportSymbol

Represents an explicit import from a package.

class Expression

The base class for all expressions in SystemVerilog.

class FieldSymbol

Represents a field member of a struct or union.

class FixedSizeUnpackedArrayType

class FloatingType

class FormalArgumentSymbol

Represents a formal argument in subroutine (task or function).

class ForwardingTypedefSymbol

template<typename Fn>

class function_ref

class GenerateBlockArraySymbol

Represents an array of generate blocks, as generated by a loop generate construct.

class GenerateBlockSymbol

class GenericClassDefSymbol

class GenvarSymbol

Represents a genvar declaration.

class HierarchicalReferenceExpression

class InsideExpression

Represents a set membership operator expression.

class InstanceSymbol

Base class for module, interface, and program instance symbols.

class IntegerLiteral

Represents an integer literal.

class IntegralType

class InterfacePortSymbol

class InvalidExpression

class InvalidStatement

template<typename DerivedT, typename IteratorCategoryT, typename T, typename DifferenceTypeT = std::ptrdiff_t, typename PointerT = T*, typename ReferenceT = T&>

class iterator_facade

template<typename TIterator>

class iterator_range

A range represented by an interator pair, begin and end.

class JsonWriter

class Lexer

struct LexerOptions

Contains various options that can control lexing behavior.

struct logic_t

class LookupLocation

struct LookupResult

A structure that contains the results of a name lookup operation.

class LValue

class MemberAccessExpression

Represents an access of a structure variable's members.

class MinTypMaxExpression

Represents a min:typ:max expression.

class ModportSymbol

Represents a modport within an interface definition.

class NamedValueExpression

Represents an expression that references a named value.

class NetSymbol

Represents a net declaration.

class NetType

class NewArrayExpression

Represents a new[] expression that creates a dynamic array.

class NewClassExpression

Represents a new expression that creates a class instance.

template<typename T>

class not_null

class NullLiteral

Represents a null literal.

class NullType

struct NumericTokenFlags

Various flags for numeric tokens.

class OpenRangeExpression

class OS

A collection of various OS-specific utility functions.

class PackageSymbol

A SystemVerilog package construct.

class PackedArrayType

class PackedStructType

Represents a packed structure of members.

class PackedUnionType

Represents a packed union of members.

class ParameterSymbol

Represents a parameter value.

class Parser

Implements a full syntax parser for SystemVerilog.

class ParserBase

struct ParserOptions

Contains various options that can control parsing behavior.

class PortSymbol

class PredefinedIntegerType

Represents the predefined integer types, which are essentially predefined vector types.

class Preprocessor

struct PreprocessorOptions

Contains various options that can control preprocessing behavior.

class QueueType

Represents an unpacked array that provides queue semantics.

class RangeSelectExpression

Represents a range selection expression.

struct real_t

class RealLiteral

Represents a real number literal.

class ReplicatedAssignmentPatternExpression

Represents a replicated assignment pattern expression.

class ReplicationExpression

Represents a replication expression.

class RootSymbol

Represents the entirety of a design, along with all contained compilation units.

template<typename T, typename Index>

class SafeIndexedVector

class ScalarType

Represents the single-bit scalar types.

class Scope

template<typename F>

class ScopeGuard

class ScriptSession

template<typename T>

class SeparatedSyntaxList

struct shortreal_t

class SimpleAssignmentPatternExpression

Represents an assignment pattern expression.

class SimpleSystemSubroutine

template<typename K, typename V, size_t N, typename Entry = ska::detailv3::sherwood_v3_entry<std::pair<K, V>>, typename Alloc = StackAllocator<Entry, N>>

class SmallMap

template<typename T, size_t N, typename Entry = ska::detailv3::sherwood_v3_entry<T>, typename Alloc = StackAllocator<Entry, N>>

class SmallSet

template<typename T>

class SmallVector

template<typename T, size_t N>

class SmallVectorSized

struct SourceBuffer

class SourceLocation

class SourceManager

class SourceRange

Combines a pair of source locations that denote a range of source text.

class Statement

The base class for all statements in SystemVerilog.

class StatementBinder

class StatementList

Represents a list of statements.

class StreamingConcatenationExpression

Represents a streaming concatenation.

class StringLiteral

Represents a string literal.

template<typename T>

class StringTable

class StringType

Represents an ASCII string type.

class StructuredAssignmentPatternExpression

Represents an assignment pattern expression.

class SubroutineSymbol

Represents a subroutine (task or function).

class SVInt

class SVIntStorage

struct SVQueue

Represents a SystemVerilog queue, for use during constant evaluation.

class Symbol

class SyntaxFacts

template<typename T>

class SyntaxList

A syntax node that represents a list of child syntax nodes.

class SyntaxListBase

A base class for syntax nodes that represent a list of items.

class SyntaxNode

Base class for all syntax nodes.

class SyntaxPrinter

template<typename TDerived>

class SyntaxRewriter

class SyntaxTree

template<typename TDerived>

class SyntaxVisitor

class TimeLiteral

Represents a time literal.

struct TimeScale

struct TimeScaleValue

A combination of a unit and magnitude for a time scale value.

class Token

class TokenList

A syntax node that represents a list of child tokens.

struct TokenOrSyntax

A token or a syntax node.

template<typename TNode>

struct TokenOrSyntaxBase

A base class template for a sum type representing either a token or a syntax node.

class TransparentMemberSymbol

class Trivia

class Type

class TypeAliasType

Represents a type alias, which is introduced via a typedef or type parameter.

template<typename T>

class TypedBumpAllocator

class UnaryExpression

Represents a unary operator expression.

class UnbasedUnsizedIntegerLiteral

Represents an unbased unsized integer literal, which fills all bits in an expression.

class UnpackedStructType

Represents an unpacked structure of members.

class UnpackedUnionType

Represents an unpacked union of members.

class ValueSymbol

class VariableSymbol

Represents a variable declaration.

class VersionInfo

Provides access to compile-time generated version info about the library.

class VoidType

class WildcardImportSymbol

Enums

enum class BindFlags { None = 0, Constant = 1 << 0, NoHierarchicalNames = 1 << 1, InsideConcatenation = 1 << 2, UnevaluatedBranch = 1 << 3, AllowDataType = 1 << 4, EnumInitializer = 1 << 5, NoAttributes = 1 << 6, AssignmentAllowed = 1 << 7, ProceduralStatement = 1 << 8, StaticInitializer = 1 << 9, StreamingAllowed = 1 << 10 }

Specifies flags that control expression and statement binding.

enum class EvalFlags: uint8_t { None = 0, IsScript = 1, IsVerifying = 2, CacheResults = 4 }

Various flags that can be applied to a constant expression evaluation.

enum class MinTypMax { Min, Typ, Max }

enum class DiagnosticSeverity { Ignored, Note, Warning, Error, Fatal }

enum class LiteralBase: uint8_t { Binary, Octal, Decimal, Hex }

Specifies the base of an integer (for converting to/from a string)

enum class TimeUnit: uint8_t { Seconds, Milliseconds, Microseconds, Nanoseconds, Picoseconds, Femtoseconds }

Scale unit for a time value.

enum class TimeScaleMagnitude: uint8_t { One = 1, Ten = 10, Hundred = 100 }

enum class KeywordVersion: uint8_t { v1364_1995 = 0, v1364_2001_noconfig = 1, v1364_2001 = 2, v1364_2005 = 3, v1800_2005 = 4, v1800_2009 = 5, v1800_2012 = 6, v1800_2017 = 7 }

enum class TriviaKind: uint8_t { Unknown, Whitespace, EndOfLine, LineComment, BlockComment, DisabledText, SkippedTokens, SkippedSyntax, Directive }

The kind of trivia we've stored.

enum class LookupFlags { None = 0, Constant = 1, Type = 2, AllowDeclaredAfter = 4, DisallowWildcardImport = 8, NoUndeclaredError = 16, TypedefTarget = 32 }

Additional modifiers for a lookup operation.

enum class SymbolIndex: uint32_t { }

enum class IntegralFlags: uint8_t { Unsigned = 0, TwoState = 0, Signed = 1, FourState = 2, Reg = 4 }

Specifies possible traits for integral types.

Typedefs

using bitwidth_t = uint32_t

A type that can represent the largest possible bit width of a SystemVerilog integer.

Functions

auto countLeadingZeros32(uint32_t value) -> uint32_t

auto countLeadingZeros64(uint64_t value) -> uint32_t

auto checkedAddS32(int32_t a, int32_t b) -> std::optional<int32_t>

auto checkedSubS32(int32_t a, int32_t b) -> std::optional<int32_t>

auto checkedMulU32(uint32_t a, uint32_t b) -> std::optional<uint32_t>

auto clog2(const SVInt& v) -> uint32_t

Returns the ceiling of the log_2 of the value. If value is zero, returns zero.

ENUM(VariableLifetime, LIFETIME)

Specifies the storage lifetime of a variable.

ENUM(Visibility, VISIBILITY)

Specifies the visibility of class members.

ENUM(ArgumentDirection, FORMAL)

Specifies behavior of an argument passed to a subroutine.

ENUM(ProceduralBlockKind, BLOCK)

Specifies possible procedural block kinds.

ENUM(StatementBlockKind, BLOCK)

Specifies possible statement block kinds.

ENUM(PortDirection, PORT)

Specifies the behavior of connections to a particular port.

ENUM(DefinitionKind, DEF)

Specifies possible definition kinds.

ENUM(UnconnectedDrive, UD)

Specifies possible unconnected drive settings.

ENUM(EdgeKind, EDGE)

Specifies possible edge kinds.

ENUM(SubroutineKind, SRK)

Specifies possible subroutine kinds.

ENUM(AssertionKind, ASK)

Specifies possible assertion kinds.

ENUM(ElabSystemTaskKind, ELAB)

Specifies possible elaboration system task kinds.

auto xxhash(const void* input, size_t len, size_t seed) -> size_t

template<typename T, typename... Rest>

void hash_combine(size_t& seed, const T& v, Rest... rest)

template<typename T>

auto make_range(T begin, T end) -> iterator_range<T>

Constructs an iterator_range from two provided iterators (inferring the types involved).

template<typename TContainer>

auto make_reverse_range(TContainer&& container) -> auto

auto toStringView(span<char> text) -> string_view

Converts a span of characters into a string_view.

void uintToStr(SmallVector<char>& buffer, uint32_t value)

Converts the provided value into a string, storing it into buffer.

void uintToStr(SmallVector<char>& buffer, uint64_t value)

Converts the provided value into a string, storing it into buffer.

auto strToInt(string_view str, size_t* pos = nullptr, int base = 10) -> optional<int32_t>

auto strToUInt(string_view str, size_t* pos = nullptr, int base = 10) -> optional<uint32_t>

auto strToDouble(string_view str, size_t* pos = nullptr) -> optional<double>

auto editDistance(string_view left, string_view right, bool allowReplacements = true, int maxDistance = 0) -> int

auto widen(string_view str) -> string_view

Widens the provided UTF8 string into UTF16 wchars.

auto narrow(string_view str) -> string_view

Widens the provided UTF16 string into UTF8.

Enum documentation

Typedef documentation

Function documentation