Generating and parsing Value Change Dump (VCD) files.
- data VCDHandle
- data Timescale
- class Variable a where
- variable :: Eq a => String -> Int -> (a -> String) -> VCDHandle -> String -> a -> IO (a -> IO ())
- newVCD :: Handle -> Timescale -> IO VCDHandle
- scope :: VCDHandle -> String -> IO a -> IO a
- step :: VCDHandle -> Int -> IO ()
- step' :: VCDHandle -> Int -> IO ()
- data VCD = VCD Timescale [Definition] [(Int, [(String, Value)])]
- data Definition
- data Value
- parseVCD :: String -> VCD
Types that can be recorded as VCD variables.
Helper to create new
Create a new handle for generating a VCD file with a given timescale.
Set a time step.
step will also transition a VCDHandle from the definition to the recording phase.
step, but forces a step recording even if variables have not changed. Useful for realtime simulation.
|Scope String [Definition]|
|Var String Int String String|
Variable with type, width, code, name.