Taylor Expansion Diagrams: A compact, canonical representation with applications to symbolic verification

Authors

MJ Ciesielski
P Kalla
ZH Zeng
B Rouzeyre

Publication Date

2002

Journal or Book Title

DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS

DOI

https://doi.org/10.1109/DATE.2002.998286

Pages

285-289

Recommended Citation

Ciesielski, MJ; Kalla, P; Zeng, ZH; and Rouzeyre, B, "Taylor Expansion Diagrams: A compact, canonical representation with applications to symbolic verification" (2002). DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS. 202.
https://doi.org/10.1109/DATE.2002.998286