624 search results - page 11 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
96
Voted
ECBS
2009
IEEE
15 years 3 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
107
click to vote
EURODAC
1994
IEEE
15 years 3 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
113
click to vote
IFIP
1992
Springer
15 years 3 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
84
Voted
FORTE
2000
15 years 29 days ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
CODES
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification for fast HW/SW cosynthesis. A node in DFG represents a coarse grain block such as FIR and...