Search Sciweavers | Sciweavers

936 search results - page 37 / 188

» FSM-Hume is finite state

click to vote

ICCAD
1995
IEEE

65views Hardware» more ICCAD 1995»

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

15 years 1 months ago

Download www.cs.unc.edu

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

claim paper

Read More »

click to vote

LCTRTS
1995
Springer

83views System Software» more LCTRTS 1995»

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems

15 years 1 months ago

Download www-2.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

click to vote

DAC
1991
ACM

102views Computer Architecture» more DAC 1991»

A Unified Approach for the Synthesis of Self-Testable Finite State Machines

15 years 1 months ago

Download www.ra.informatik.uni-stuttgart.de

-Conventionallyself-test hardware is added after synthesis is completed. For highly sequential circuits like controllersthis design method eitherleads to high hardware overheadsor ...

Bernhard Eschermann, Hans-Joachim Wunderlich

claim paper

Read More »

click to vote

ICCD
1991
IEEE

86views Hardware» more ICCD 1991»

Synthesizing Converters Between Finite State Protocols

15 years 1 months ago

Download www.cadence.com

Janaki Akella, Kenneth L. McMillan

claim paper

Read More »

click to vote

CONCUR
2005
Springer

105views Distributed And Parallel Com...» more CONCUR 2005»

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers