Sciweavers

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

11

TCAD
2008

favoriteEmaildiscussreport

82views more TCAD 2008»

A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification

13 years 4 months ago

A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification

Download www.csee.usf.edu

ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for scalable asynchronous design verification. It combines efficient state space reductions and novel interface refinement, and can reduce the complexity of state space

Hao Zheng, Jared Ahrens, Tian Xia

Real-time Traffic

Asynchronous Design Verification | State Space | TCAD 2008 | Verification Hao Zheng |

claim paper

Related Content

» Design for verification for asynchronously communicating Web services

» Efficient Verification of HazardFreedom in GateLevel Timed Asynchronous Circuits

» Partial Order Reductions Using Compositional Confluence Detection

» DFinder A Tool for Compositional Deadlock Detection and Verification

» Towards scalable compositional analysis by refactoring design models

» Layered Composition for Timed Automata

» Safe composition of product lines

» A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules

» Interactive Discovery and Composition of Complex Web Services

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	TCAD
Authors	Hao Zheng, Jared Ahrens, Tian Xia

Comments (0)