package formal
Formal compatibility API placeholders.
Formal verification is currently unsupported in this compatibility layer. Any usage should fail at compile time to avoid vacuously passing tests.
- Source
- package.scala
- Alphabetic
- By Inheritance
- formal
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- case class BoundedCheck(depth: Int) extends Product with Serializable
Annotation placeholder for source compatibility only.
- trait Formal extends AnyRef
- Annotations
- @compileTimeOnly("chiseltest.formal.Formal is unsupported in this compatibility layer")
This is the documentation for Chisel.
Package structure
The chisel3 package presents the public API of Chisel. It contains the concrete core types
UInt,SInt,Bool,Clock, andReg, the abstract typesBits,Aggregate, andData, and the aggregate typesBundleandVec.The Chisel package is a compatibility layer that attempts to provide chisel2 compatibility in chisel3.
Utility objects and methods are found in the
utilpackage.The
testerspackage defines the basic interface for chisel testers.