chalmers-lava2000-1.5: 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