chalmers-lava2000-1.6.1: Hardware description EDSL
Safe HaskellNone
LanguageHaskell98

Lava.Isc

Documentation

data IscMethod Source #

Constructors

StepMin 
StepMax 
Mixed 
Bmc 

isc :: Checkable a => a -> IO ProofResult Source #

iscWith :: Checkable a => IscMethod -> Int -> a -> IO ProofResult Source #