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

Clash.Verification.PrettyPrinters

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

-> Text 

pprSvaProperty Source #

Arguments

:: Text

Property name

-> Text

Clock name

-> ActiveEdge

Edge property should be sensitive to

-> Property' Text

Assertion / Cover statement

-> Text 

Debugging functions

pprProperty :: Property dom -> Text Source #

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