Maciej J. Ciesielski, Priyank Kalla, Zhihong Zeng, Bruno Rouzeyre. Taylor expansion diagrams: a new representation for RTL verification. In Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001. pages 70-75, IEEE Computer Society, 2001. [doi]
@inproceedings{CiesielskiKZR01, title = {Taylor expansion diagrams: a new representation for RTL verification}, author = {Maciej J. Ciesielski and Priyank Kalla and Zhihong Zeng and Bruno Rouzeyre}, year = {2001}, doi = {10.1109/HLDVT.2001.972810}, url = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2001.972810}, researchr = {https://researchr.org/publication/CiesielskiKZR01}, cites = {0}, citedby = {0}, pages = {70-75}, booktitle = {Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001}, publisher = {IEEE Computer Society}, isbn = {0-7695-1411-1}, }