Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

TODAES
1998

favoriteEmaildiscussreport

42views more TODAES 1998»

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

13 years 5 months ago

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming

Download www.cparity.com

Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee

Real-time Traffic

TODAES 1998 |

claim paper

Related Content

» On Efficient Models for Model Checking MessagePassing Distributed Protocols

» Generalizing the PaigeTarjan algorithm by abstract interpretation

» Transistor abstraction for the functional verification of FPGAs

» AssumeGuarantee Verification of Source Code with DesignLevel Assumptions

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	1998
Where	TODAES
Authors	Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee

Comments (0)