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]
Abstract is missing.