Text.SDF.V2p1.Parser.SDFParser

Documentation

sdflang :: GenLanguageDef SdfString a Identity

Language definition for the SDF file format Note that the input stream is specialized for the SdfString type so that we can easily change the stream type in one single place

parseSdf :: FilePath -> SdfString -> DelayFile

This is a convenience function used to parse a SDF file and return the AST representation of the SDF file.

lexer :: GenTokenParser SdfString a Identity

lexeme :: ParsecT SdfString u Identity a -> ParsecT SdfString u Identity a

symbol :: String -> ParsecT SdfString u Identity String

parens :: ParsecT SdfString u Identity a -> ParsecT SdfString u Identity a

reserved :: String -> ParsecT SdfString u Identity ()

reservedOp :: String -> ParsecT SdfString u Identity ()

braces :: ParsecT SdfString u Identity a -> ParsecT SdfString u Identity a

whiteSpace :: ParsecT SdfString u Identity ()

qstring :: Parser String

number :: Parser Number

rnumber :: Parser Rnumber

dnumber :: Parser Dnumber

tsvalue :: Parser Tsvalue

identifier :: Parser Identifier

path :: Parser Identifier

delay_file :: Parser DelayFile

sdf_header :: Parser SdfHeader

sdf_version :: Parser SdfVersion

design_name :: Parser DesignName

date :: Parser Date

vendor :: Parser Vendor

program_name :: Parser ProgramName

program_version :: Parser ProgramVersion

hierarchy_divider :: Parser HierarchyDivider

hchar :: Parser String

voltage :: Parser Voltage

process :: Parser Process

temperature :: Parser Temperature

time_scale :: Parser TimeScale

cell :: Parser Cell

celltype :: Parser Celltype

cell_instance :: Parser CellInstance

instance' :: Parser Instance

correlation :: Parser Correlation

corr_factor :: Parser CorrFactor

timing_spec :: Parser TimingSpec

del_spec :: Parser DelSpec

tc_spec :: Parser TcSpec

deltype :: Parser Deltype

input_output_path :: Parser InputOutputPath

del_def :: Parser DelDef

net_spec :: Parser NetSpec

tc_def :: Parser TcDef

tchk_def :: Parser TchkDef

cns_def :: Parser CnsDef

port_tchk :: Parser PortTchk

constraint_path :: Parser ConstraintPath

port_spec :: Parser PortSpec

port_edge :: Parser PortEdge

edge_identifier :: Parser EdgeIdentifier

port_path :: Parser PortPath

port :: Parser Port

scalar_port :: Parser ScalarPort

bus_port :: Parser BusPort

port_instance :: Parser PortInstance

value :: Parser Triple

triple :: Parser Triple

rvalue :: Parser Triple

rtriple :: Parser Triple

rvalue_list :: Parser RvalueList

conditional_port_expr :: Parser String

simple_expression :: Parser String

timing_check_condition :: Parser TimingCheckCondition

scalar_constant :: Parser String

unary_operator :: [String]

inversion_operator :: [String]

binary_operator :: [String]

equality_operator :: [String]

maybeParser :: Parser a -> Parser (Maybe a)

Given a parser, attempt to parse. If parser succeeds, returns a Just value, else Nothing is returned.

sdf_simple :: String -> Parser a -> Parser a

Since the format (FOO ...) occurs so often in SDF syntax, the parser sdf_simple is a short cut version for this parser

rtriple_or_rnumber :: Parser Rtriple

Parses a rtriple or a rnumber Here we take a shortcut in the data representation, where an rnumber is represented as an rtriple of the same value

valueOrRvalue :: Parser Double -> Parser Triple

Parses a value or an rvalue

posOrNegPair :: String -> String -> Parser ((Rnumber, Maybe Rnumber), (Rnumber, Maybe Rnumber))

Parses a posPair or a negPair name1 and name2 is the edge name, ie. posedge or negedge

sign :: Parser String

Parses the negative sign -, or the positive + Absence of sign implies positive

tripleOrRtriple :: Parser Double -> Parser Triple

identifier' :: Parser Identifier

This is the identifier defined in the SDF spec, but the parser does not consume trailing white spaces (ie. wrapped in a lexeme) as other parsers do. We keep this version of the parser so that we can combine it with hchar parser later to form path parser

module Text.SDF.V2p1.Parser.SDFTypes