1
Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Gary D. Hachtel, Fabio Somenzi (auth.)
Godina:
2002
Jezik:
english
Fajl:
PDF, 38.43 MB
0 / 0
english, 2002
2
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Chao Wang, Gary D. Hachtel, Fabio Somenzi
Godina:
2006
Jezik:
english
Fajl:
PDF, 8.65 MB
0 / 0
english, 2006
3
La materia pensante

La materia pensante

Vittorio Somenzi
Godina:
1991
Jezik:
italian
Fajl:
PDF, 99.69 MB
0 / 4.5
italian, 1991
4
Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Gary D. Hachtel, Fabio Somenzi
Godina:
1996
Jezik:
english
Fajl:
PDF, 40.49 MB
0 / 4.0
english, 1996
7
Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Gary D. Hachtel, Fabio Somenzi
Godina:
1996
Jezik:
english
Fajl:
PDF, 39.81 MB
0 / 0
english, 1996
8
Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Hachtel G.D., Somenzi F.
Godina:
1996
Jezik:
english
Fajl:
DJVU, 5.31 MB
0 / 0
english, 1996
9
Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Hachtel G.D., Somenzi F.
Godina:
1996
Jezik:
english
Fajl:
DJVU, 11.37 MB
0 / 0
english, 1996