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

15 years 7 months 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

15 years 7 months ago

Download www.cerc.utexas.edu

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

claim paper

Read More »

115

click to vote

ATS
2001
IEEE

121views Hardware» more ATS 2001»

Simulation-Based Diagnosis for Crosstalk Faults in Sequential Circuits

15 years 6 months 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

15 years 6 months ago

Download eprints.iisc.ernet.in

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

claim paper

Read More »

106

click to vote

ITC
1994
IEEE

136views Hardware» more ITC 1994»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers