chalmers-lava2000-1.1.0: Hardware description library

Lava.Isc

Documentation

data IscMethod Source

Constructors

StepMin 
StepMax 
Mixed 
Bmc 

isc :: Checkable a => a -> IO ProofResultSource

iscWith :: Checkable a => IscMethod -> Int -> a -> IO ProofResultSource