Search Sciweavers | Sciweavers

768 search results - page 23 / 154

» Robustness of Sequential Circuits

click to vote

ICCAD
1990
IEEE

51views Hardware» more ICCAD 1990»

A Unified Framework for the Formal Verification of Sequential Circuits

14 years 29 days ago

Download www.ece.ucsb.edu

Olivier Coudert, Jean Christophe Madre

claim paper

Read More »

click to vote

DATE
2004
IEEE

79views Hardware» more DATE 2004»

Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits

14 years 20 days ago

Download www.cerc.utexas.edu

Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, A...

claim paper

Read More »

click to vote

ATS
2001
IEEE

121views Hardware» more ATS 2001»

Simulation-Based Diagnosis for Crosstalk Faults in Sequential Circuits

14 years 17 days ago

Download larissa.cs.ehime-u.ac.jp

Hiroshi Takahashi, Marong Phadoongsidhi, Yoshinobu...

claim paper

Read More »

click to vote

VLSID
1995
IEEE

107views VLSI» more VLSID 1995»

Functional test generation for non-scan sequential circuits

14 years 13 days ago

Download eprints.iisc.ernet.in

Mandyam-Komar Srinivas, James Jacob, Vishwani D. A...

claim paper

Read More »

click to vote

ITC
1994
IEEE

136views Hardware» more ITC 1994»

An Automatic Test Pattern Generator for Large Sequential Circuits Based on Genetic Algorithms

14 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers