Search Sciweavers | Sciweavers

44 search results - page 4 / 9

» glvlsi 1999

click to vote

GLVLSI
1999
IEEE

62views VLSI» more GLVLSI 1999»

A Multiple-Input Single-Phase Clock Flip-Flop Family

13 years 9 months ago

Download www.cecs.uci.edu

Richard F. Hobson, Allan R. Dyck

claim paper

Read More »

click to vote

GLVLSI
1999
IEEE

62views VLSI» more GLVLSI 1999»

Symbolic Multi-Level Verification of Refinement

13 years 9 months ago

Download www.cs.york.ac.uk

Stefan Hendricx, Luc J. M. Claesen

claim paper

Read More »

click to vote

GLVLSI
1999
IEEE

90views VLSI» more GLVLSI 1999»

Formal Verification of Tree-Structured Carry-Lookahead Adders

13 years 9 months ago

Download www.cecs.uci.edu

Sae Hwan Kim, Shiu-Kai Chin

claim paper

Read More »

click to vote

GLVLSI
1999
IEEE

96views VLSI» more GLVLSI 1999»

A Novel High-Speed Flip-Flop Circuit Using RTDs and HEMTs

13 years 9 months ago

Download www.cs.york.ac.uk

Hideaki Matsuzaki, Toshihiro Itoh, Masafumi Yamamo...

claim paper

Read More »

click to vote

GLVLSI
1999
IEEE

85views VLSI» more GLVLSI 1999»

Reducing BDD Size by Exploiting Structural Connectivity

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers