Search Sciweavers | Sciweavers

3052 search results - page 19 / 611

» On the Verification of the Gravity Model Used for Mobility M...

click to vote

ICCAD
2000
IEEE

55views Hardware» more ICCAD 2000»

Verification of Delta-Sigma Converters Using Adaptive Regression Modeling

13 years 12 months ago

Download www.cecs.uci.edu

Jeongjin Roh, Suresh Seshadri, Jacob A. Abraham

claim paper

Read More »

click to vote

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

13 years 11 months ago

Download www.cadence.com

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

click to vote

ATS
2001
IEEE

74views Hardware» more ATS 2001»

An Improved AVPG Algorithm for SoC Design Verification Using Port Order Fault Model

13 years 11 months ago

Download nthucad.cs.nthu.edu.tw

Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou

claim paper

Read More »

click to vote

JISE
2006

41views more JISE 2006»

Verification of UML Model Elements Using B

13 years 7 months ago

Download www.iis.sinica.edu.tw

Ninh-Thuan Truong, Jeanine Souquières

claim paper

Read More »

click to vote

SOSYM
2008

63views more SOSYM 2008»

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers