Travelled to:2 × USA
Collaborated with:T.Amon G.Borriello T.Hu
Talks about:time (3) presburg (2) formula (2) use (2) relationship (1) simplic (1) readabl (1) diagram (1) complex (1) symbol (1)
Person: Jiwen Liu
DBLP: Liu:Jiwen
Contributed to:
19981997Wrote 2 papers:
- DAC-1998-AmonBL #using
- Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don’t Cares (TA, GB, JL), pp. 586–590.
- DAC-1997-AmonBHL #diagrams #using #verification
- Symbolic Timing Verification of Timing Diagrams using Presburger Formulas (TA, GB, TH, JL), pp. 226–231.