Search Sciweavers | Sciweavers

82 search results - page 3 / 17

» The Case for Analog Circuit Verification

click to vote

ET
2010

60views more ET 2010»

Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits

13 years 3 months ago

Download hvg.ece.concordia.ca

Rajeev Narayanan, Mohamed H. Zaki, Sofiène ...

claim paper

Read More »

click to vote

ICCAD
2009
IEEE

159views Hardware» more ICCAD 2009»

First steps towards SAT-based formal analog verification

13 years 2 months ago

Download www.cadence.com

Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...

Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips...

claim paper

Read More »

click to vote

DATE
2002
IEEE

151views Hardware» more DATE 2002»

Analog Circuit Sizing Using Adaptive Worst-Case Parameter Sets

13 years 9 months ago

Download www.date-conference.com

In this paper, a method for nominal design of analog integrated circuits is presented that includes process variations and operating ranges by worst-case parameter sets. These set...

Robert Schwencker, Frank Schenkel, Michael Pronath...

claim paper

Read More »

click to vote

ICCS
2004
Springer

145views Applied Computing» more ICCS 2004»

Intrinsic Evolution of Analog Circuits on a Programmable Analog Multiplexer Array

13 years 10 months ago

Download www-users.york.ac.uk

This work discusses an Evolvable Hardware (EHW) platform for the intrinsic evolution of analog electronic circuits. The EHW analog platform, named PAMA-NG (Programmable Analog Mult...

José Franco Machado do Amaral, Jorge Lu&iac...

claim paper

Read More »

click to vote

DATE
2002
IEEE

108views Hardware» more DATE 2002»

A Case Study for the Verification of Complex Timed Circuits: IPCMOS

13 years 9 months ago