FormalBackendAnnotation
chiseltest.formal.`package`.FormalBackendAnnotation
abstract class FormalBackendAnnotation(val name: String, val kmaxFlag: String, val UnsatOutput: String, val SatOutput: String)
Bounded Model Checking Backends supported by Formal. Currently only BTORMC is supported.
Attributes
- Source
- package.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object BTORMCBackend
Members list
In this article