1753 search results - page 159 / 351 » State Machines |
130
Voted
DFT
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
97
Voted
IFIP
1993
Springer
15 years 8 months ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
137
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...
146
click to vote
FSE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We discuss the special requirements imposed on the underlying cipher of systems which encrypt each sector of a disk partition independently, and demonstrate a certificati...
140
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...