Search Sciweavers | Sciweavers

3052 search results - page 18 / 611

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

click to vote

AUTOMATICA
1999

50views more AUTOMATICA 1999»

Verification of logic controllers for continuous plants using timed condition/event-system models

13 years 7 months ago

Download www-verimag.imag.fr

Stefan Kowalewski, Sebastian Engell, Jörg Pre...

claim paper

Read More »

click to vote

ATVA
2007
Springer

112views Hardware» more ATVA 2007»

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces

14 years 1 months ago

Download www.async.ece.utah.edu

Scott Little, David Walter, Kevin Jones, Chris J. ...

claim paper

Read More »

click to vote

DATE
2005
IEEE

99views Hardware» more DATE 2005»

Verification of Embedded Memory Systems using Efficient Memory Modeling

14 years 1 months ago

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

click to vote

VTS
2000
IEEE

83views Hardware» more VTS 2000»

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

13 years 11 months ago

Download www.iml.ece.mcgill.ca

Katarzyna Radecka, Zeljko Zilic

claim paper

Read More »

click to vote

ASYNC
2007
IEEE

161views Hardware» more ASYNC 2007»

Gate-level modelling and verification of asynchronous circuits using CSPM and FDR

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers