Expression Equivalence Checking Using Interval Analysis.
Saved in:
| Title: | Expression Equivalence Checking Using Interval Analysis. |
|---|---|
| Authors: | Ghodrat, Mohammad Ali, Givargis, Tony, Nicolau, Alex |
| Source: | IEEE Transactions on Very Large Scale Integration (VLSI) Systems; August 2006, Vol. 14 Issue 8, p830-842, 13p |
| Database: | Applied Science & Technology Source |
| ISSN: | 10638210 |
|---|---|
| DOI: | 10.1109/TVLSI.2006.878471 |
