ALF conference call, January 13, 10AM-12AM

Participants:

Ted Elkind		Cadence
Mike Andrews		Mentor Graphics
Darshan Rauniyar	Mentor Graphics
Jose DeCastro		LSI Logic
Wolfgang Roethig	NEC

Agenda:

Review of ALF 1.0.8

Enhancements compared to 1.0.7:

2.2.3	Verilog and VHDL example updated (hopefully final)
3.2.8	new bit literal for "random transitions"
3.4.1 - 3.4.16
	BNF updated
3.4.17	Semantics for BNF completely defined
3.5.4	update on vector operators
3.6.1	new containers for arithmetic models
3.6.4	new annotations for VECTOR
3.6.5	new annotations for CELL
3.6.8	new arithmetic models
3.6.9	new chapter for MIN, TYP, MAX, RISE, FALL
	incorporated from alfsemantics doc for OLA
3.6.10	new chapter for FROM, TO, THRESHOLD
	incorporated from alfsemantics doc for OLA
3.9.2	amendments to active and inactive vectors
3.9.3	new chapter for concurrency in functions
3.9.4	new chapter for initial values
3.10.1 - 3.10.6
	amendments for primitives
4.9.2	timing constraints incorporated for memory example
4.9.4	new chapter for pin refenrence inside bus
4.9.5	more on skew on a bus and pin concatenation
4.15.1	added RETAIN, made changes to PULSEWIDTH
4.15.2	made changes to SKEW

As far as there are new features for 1.1,
they are marked in blue.


A.I. Separate canonical and convenience operators out in table 3-19
-- Wolfgang
DONE

A.I. include ~> in BNF
-- Wolfgang
DONE

A.I. application note for ~>
-- Ted Elkind

A.I. Keywords in title uppercase
-- Wolfgang
DONE

A.I. correct missing } p.56
-- Wolfgang
DONE

A.I. correct existAnce p. 64 to existEnce
-- Wolfgang

A.I. typo p.65 !c & !d
-- Wolfgang
DONE

A.I. better wording for RETAIN
-- Ted Elkind

A.I. wording for incomplete functional specification in 3.9.2
-- Ted Elkind

old A.I. comprehensive chapter for functional modeling
--  Arun