Data.Avc

Documentation

data Signal

A Signal has a name

Constructors

Sig Name

SigGroup Name

Instances

Eq Signal

Show Signal

data Comment

May be useful to keep vector comments

Constructors

Comment ByteString

CNil

Instances

Eq Comment

Show Comment

data Statement

A statement is a "FORMAT a b c;" definition or a "RXX devcyc vecdata; comment"

Constructors

Repeat Rep DevCyc Vec Comment

Format [Signal] Comment

EOF

Instances

Eq Statement

Show Statement

parseAvcFile :: FilePath -> IO [Statement]

Parse a simple AVC which may be gzipped Only handles simple files with one character per state like:

# Begin AVC FORMAT a b c; R10 10X ; vector comment # other comment R10 01H ;

toString :: Statement -> ByteString