chalmers-lava2000-1.0: Hardware description library

Lava2000.Isc

Documentation

data IscMethod Source

Constructors

StepMin 
StepMax 
Mixed 
Bmc 

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

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