chisel6.4.0 < Back


# Packages

-  package root
  Definition Classes
    root
-  package chisel3

  This package contains the main chisel3 API.

  This package contains the main chisel3 API.

  Definition Classes
    root
-  package aop
  Definition Classes
    chisel3
-  package choice

  This package contains Chisel language definitions for describing configuration options and their accepted values.

  This package contains Chisel language definitions for describing configuration options and their accepted values.

  Definition Classes
    chisel3
-  package connectable
  Definition Classes
    chisel3
-  package experimental

  Package for experimental features, which may have their API changed, be removed, etc.

  Package for experimental features, which may have their API changed, be removed, etc.

  Because its contents won't necessarily have the same level of stability and support as non-experimental, you must explicitly import this package to use its contents.

  Definition Classes
    chisel3
-  package interface
  Definition Classes
    chisel3
-  package ltl
  Definition Classes
    chisel3
- AssertProperty
- AssertPropertyLike
- AssumeProperty
- CoverProperty
- Delay
- Property
- Sequence
- SequenceAtom
-  package naming
  Definition Classes
    chisel3
-  package probe
  Definition Classes
    chisel3
-  package properties

  The properties package includes functionality related to non-hardware data.

  The properties package includes functionality related to non-hardware data.

  This entire package is currently very experimental, so expect some rough edges and rapid API evolution.

  Definition Classes
    chisel3
-  package reflect
  Definition Classes
    chisel3
-  package simulator
  Definition Classes
    chisel3
-  package stage
  Definition Classes
    chisel3
-  package std
  Definition Classes
    chisel3
-  package testers

  The testers package provides the basic interface for chisel testers.

  The testers package provides the basic interface for chisel testers.

  Definition Classes
    chisel3
-  package util

  The util package provides extensions to core chisel for common hardware components and utility functions

  The util package provides extensions to core chisel for common hardware components and utility functions

  Definition Classes
    chisel3

p

chisel3

# ltl

#### package ltl

Content Hierarchy

Ordering

1. Alphabetic

Visibility

1. Public
2. Protected

### Type Members

1.  sealed abstract class AssertPropertyLike extends AnyRef

   The base class for the `AssertProperty`, `AssumeProperty`, and `CoverProperty` verification constructs.

   The base class for the `AssertProperty`, `AssumeProperty`, and `CoverProperty` verification constructs.

   Annotations
     @nowarn()
2.  sealed trait Property extends AnyRef

   A Linear Temporal Logic (LTL) property.

3.  sealed trait Sequence extends Property

   A Linear Temporal Logic (LTL) sequence.

4.  sealed trait SequenceAtom extends AnyRef

   A single item that may be used in the `Sequence(...)` convenience constructor for sequences.

   A single item that may be used in the `Sequence(...)` convenience constructor for sequences. These atoms may either be `Sequence`s themselves, like `a` or `a and b`, or a `DelayAtom`, like `Delay`. Together they enable a shorthand notation for sequences like:

   `Sequence(a, Delay(), b, Delay(2), c, Delay(3, 9), d, Delay(4, None), e)`.

### Value Members

1.  object AssertProperty extends AssertPropertyLike

   Assert that a property holds.

   Assert that a property holds.

   Use like `AssertProperty(p)`. See `AssertPropertyLike.apply` for optional clock, disable_iff, and label parameters.

2.  object AssumeProperty extends AssertPropertyLike

   Assume that a property holds.

   Assume that a property holds.

   Use like `AssumeProperty(p)`. See `AssertPropertyLike.apply` for optional clock, disable_iff, and label parameters.

3.  object CoverProperty extends AssertPropertyLike

   Cover that a property holds.

   Cover that a property holds.

   Use like `CoverProperty(p)`. See `AssertPropertyLike.apply` for optional clock, disable_iff, and label parameters.

4.  object Delay

   The delay atoms available to users.

   The delay atoms available to users. Can be interleaved with actual sequences in `Sequence(...)`. See `SequenceAtom` for details.

5.  object Property

   Prefix-style utilities to work with properties.

   Prefix-style utilities to work with properties.

   This object exposes the primary API to create and compose properties from booleans, sequences, and other properties.

6.  object Sequence

   Prefix-style utilities to work with sequences.

   Prefix-style utilities to work with sequences.

   This object exposes the primary API to create and compose sequences from booleans and shorter sequences.

### Ungrouped