Search Sciweavers | Sciweavers

3457 search results - page 167 / 692

» A Symbol Is Not a Symbol

144

click to vote

EURODAC
1995
IEEE

115views VHDL» more EURODAC 1995»

Verification of a production cell controller using symbolic timing diagrams

15 years 10 months ago

Download www.cecs.uci.edu

Rainer Schlör, Franz Korf

claim paper

Read More »

131

click to vote

GLVLSI
1995
IEEE

104views VLSI» more GLVLSI 1995»

Symbolic execution of data paths

15 years 10 months ago

Download bears.ece.ucsb.edu

Chuck Monahan, Forrest Brewer

claim paper

Read More »

100

click to vote

ICCAD
1995
IEEE

65views Hardware» more ICCAD 1995»

Symbolic hazard-free minimization and encoding of asynchronous finite state machines

15 years 10 months ago

Download www.cs.unc.edu

Robert M. Fuhrer, Bill Lin, Steven M. Nowick

claim paper

Read More »

122

click to vote

VTS
1995
IEEE

76views Hardware» more VTS 1995»

Reliability evaluation of combinational logic circuits by symbolic simulation

15 years 10 months ago

Download www.sti.uniurb.it

Alessandro Bogliolo, Maurizio Damiani, Piero Olivo...

claim paper

Read More »

135

click to vote

VTS
1995
IEEE

80views Hardware» more VTS 1995»

Improving topological ATPG with symbolic techniques

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers