181 search results - page 1 / 37 » Testable Use Cases in the Abstract State Machine Language |
APAQS
2001
IEEE
15 years 1 months ago
2001
IEEE
QSIC
2003
IEEE
15 years 2 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
ASPDAC
1995
ACM
15 years 1 months ago
1995
ACM
Abstract - An approach to top down design for testability using register-transfer level(RTL) partial scan selection is described. We propose a scan selection technique based on tes...
ASM
2000
ASM
15 years 1 months ago
2000
ASM
64
Voted
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE