Sciweavers

425 search results - page 29 / 85
» Automated Synthesis of Multitolerance
Sort
View
DAC
2010
ACM
15 years 1 months ago
SCEMIT: a systemc error and mutation injection tool
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
Peter Lisherness, Kwang-Ting (Tim) Cheng
129
Voted
CSL
1999
Springer
15 years 2 months ago
The Bell Labs German text-to-speech system
In this paper we present an overview of the German version of the Bell Labs text-to-speech system, a high-quality concatenative synthesis system with extensive text analysis capab...
Bernd Möbius
ITC
1994
IEEE
151views Hardware» more  ITC 1994»
15 years 7 months ago
Automated Logic Synthesis of Random-Pattern-Testable Circuits
Previous approaches to designing random pattern testable circuits use post-synthesis test point insertion to eliminate random pattern resistant (r.p.r.) faults. The approach taken...
Nur A. Touba, Edward J. McCluskey
FMICS
2006
Springer
15 years 7 months ago
Automated Incremental Synthesis of Timed Automata
Abstract. In this paper, we concentrate on incremental synthesis of timed automata for automatic addition of different types of bounded response properties. Bounded response
Borzoo Bonakdarpour, Sandeep S. Kulkarni
138
Voted
DAC
2001
ACM
16 years 4 months ago
Speculation Techniques for High Level Synthesis of Control Intensive Designs
The quality of synthesis results for most high level synthesis approaches is strongly a ected by the choice of control ow through conditions and loops in the input description. In...
Sumit Gupta, Nick Savoiu, Sunwoo Kim, Nikil D. Dut...