663 search results - page 119 / 133 » Synthesis of Self-Testable Controllers |
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
102
click to vote
ASAP
2003
IEEE
15 years 5 months ago
2003
IEEE
Multiplication and squaring are important operations in digital signal processing and multimedia applications. This paper presents designs for units that implement either multipli...