Enhanced TED: a new data structure for RTL verification

P Lotfi-Kamran, M Massoumi… - … Conference on VLSI …, 2008 - ieeexplore.ieee.org
This work provides a canonical representation for manipulation of RTL designs. Work has
already been done on a canonical and graph-based representation called Taylor expansion …
被引用次数：2 相关文章

Enhanced TED: A New Data Structure for RTL Verification

P Lotfi-Kamran, M Massoumi, M Mirzaei, Z Navabi - … International Conference on … - infona.pl
This work provides a canonical representation for manipulation of RTL designs. Work has
already been done on a canonical and graph-based representation called Taylor expansion …

Enhanced TED: A New Data Structure for RTL Verification

P Lotfi-Kamran, M Massoumi, M Mirzaei… - Proceedings of the 21st …, 2008 - dl.acm.org
This work provides a canonical representation for manipulation of RTL designs. Work has
already been done on a canonical and graph-based representation called Taylor Expansion …