clash-lib-1.7.0: Clash: a functional hardware description language - As a library
Copyright(C) 2019 Myrtle Software Ltd
LicenseBSD2 (see the file LICENSE)
MaintainerQBayLogic B.V. <devops@qbaylogic.com>
Safe HaskellNone
LanguageHaskell2010

Clash.Verification.Pretty

Description

Verification

Synopsis

Documentation

pprPslProperty Source #

Arguments

:: HDL

HDL to generate PSL expression for

-> Text

Property name

-> Text

Clock name

-> ActiveEdge

Edge property should be sensitive to

-> Property' Text

Assertion / Cover statement

-> Declaration 

pprSvaProperty Source #

Arguments

:: Text

Property name

-> Text

Clock name

-> ActiveEdge

Edge property should be sensitive to

-> Property' Text

Assertion / Cover statement

-> Declaration 

pprYosysSvaProperty Source #

Arguments

:: Text

Property name

-> Expr

Clock expression

-> ActiveEdge

Edge property should be sensitive to

-> Property' Text

Assertion / Cover statement

-> Declaration 

Generate something like: always (posedge clk_i) isOn: cover (result);@

Debugging functions

pprProperty :: Property dom -> Declaration Source #

Pretty print Property. Doesn't print valid HDL, but can be used for debugging purposes.