sdf2p1-parser-0.1.1: A parser for SDF version 2.1 using Parsec

Safe HaskellSafe-Inferred
LanguageHaskell98

Text.SDF.V2p1.Parser.SDFTypes

Synopsis

Documentation

type SdfString = ByteString Source

This is the parser stream type. We can switch from String to ByteString or other input stream by changing the definition of SdfString

type Qstring = String Source

type Number = Double Source

type Rnumber = Double Source

type Dnumber = Int Source

type Tsvalue = String Source

type Identifier = String Source

data DelayFile Source

Constructors

DelayFile SdfHeader [Cell] 

Instances

data SdfHeader Source

Constructors

SdfHeader SdfVersion (Maybe DesignName) (Maybe Date) (Maybe Vendor) (Maybe ProgramName) (Maybe ProgramVersion) (Maybe HierarchyDivider) (Maybe Voltage) (Maybe Process) (Maybe Temperature) (Maybe TimeScale) 

Instances

type SdfVersion = Qstring Source

type DesignName = Qstring Source

type Date = Qstring Source

type Vendor = Qstring Source

type ProgramName = Qstring Source

type ProgramVersion = Qstring Source

type HierarchyDivider = Qstring Source

type Voltage = Rtriple Source

type Process = Qstring Source

type Temperature = Rtriple Source

type TimeScale = Qstring Source

data Cell Source

Constructors

Cell Celltype CellInstance (Maybe Correlation) [TimingSpec] 

Instances

type Celltype = Qstring Source

type CellInstance = [Identifier] Source

type Instance = Identifier Source

data Correlation Source

Constructors

Correlation Qstring (Maybe CorrFactor) 

Instances

type CorrFactor = [Number] Source

data TimingSpec Source

Constructors

TimingSpecDel DelSpec 
TimingSpecTc TcSpec 

Instances

type DelSpec = [Deltype] Source

type TcSpec = [TcDef] Source

data Deltype Source

Constructors

DeltypePathpulse (Maybe InputOutputPath) Value (Maybe Value) 
DeltypeGlobalpathpulse (Maybe InputOutputPath) Value (Maybe Value) 
DeltypeAbsolute [DelDef] 
DeltypeIncrement [DelDef] 

Instances

data InputOutputPath Source

Constructors

InputOutputPath PortPath PortPath 

Instances

data DelDef Source

Constructors

DelDefIopath PortSpec PortPath RvalueList 
DelDefCond ConditionalPortExpr PortSpec PortPath RvalueList 
DelDefPort PortPath RvalueList 
DelDefInterconnect PortInstance PortInstance RvalueList 
DelDefNetdelay NetSpec RvalueList 
DelDefDevice (Maybe PortInstance) RvalueList 

Instances

data NetSpec Source

Constructors

NetSpec (Maybe Instance) Identifier 

Instances

data TcDef Source

Constructors

TcDefTchkDef TchkDef 
TcDefCnsDef CnsDef 

Instances

data TchkDef Source

Constructors

TchkDefSetup PortTchk PortTchk Rvalue 
TchkDefHold PortTchk PortTchk Rvalue 
TchkDefSetuphold PortTchk PortTchk Rvalue Rvalue 
TchkDefRecovery PortTchk PortTchk Rvalue 
TchkDefSkew PortTchk PortTchk Rvalue 
TchkDefWidth PortTchk Value 
TchkDefPeriod PortTchk Value 
TchkDefNochange PortTchk PortTchk Rvalue Rvalue 

Instances

data CnsDef Source

Constructors

CnsDefPathconstraint PortInstance [PortInstance] Rvalue Rvalue 
CnsDefSum ConstraintPath [ConstraintPath] Rvalue (Maybe Rvalue) 
CnsDefDiff ConstraintPath ConstraintPath Value (Maybe Value) 
CnsDefSkewconstraint PortSpec Value 

Instances

data PortTchk Source

Constructors

PortTchkPortSpec PortSpec 
PortTchkCond TimingCheckCondition PortSpec 

Instances

type ConstraintPath = (PortInstance, PortInstance) Source

data PortSpec Source

Constructors

PortSpecPortPath PortPath 
PortSpecPortEdge PortEdge 

Instances

data PortEdge Source

Constructors

PortEdge EdgeIdentifier PortPath 

Instances

type EdgeIdentifier = String Source

type PortPath = Port Source

type Port = Identifier Source

type ScalarPort = Identifier Source

type BusPort = Identifier Source

data PortInstance Source

Constructors

PortInstance (Maybe Instance) Identifier 

Instances

type Value = Triple Source

type Triple = (Maybe Double, Maybe Double, Maybe Double) Source

type Rvalue = Triple Source

type Rtriple = Triple Source

type RvalueList = [Rvalue] Source

type ConditionalPortExpr = String Source

type SimpleExpression = String Source

type TimingCheckCondition = String Source

type ScalarConstant = String Source

type UnaryOperator = String Source

type InversionOperator = String Source

type BinaryOperator = String Source

type EqualityOperator = String Source