An approach, called Formal Synthesis, to the design and ver-iication of digital systems is presented. Working in a goal-directed mode, and starting from a behavioural speciication, a user can interactively generate a design together with a proof of a theorem that asserts its correct-ness. The speciications are expressed in veritas + , a higher-order logic based on type theory. The resultant des...

This article presents and analyzes a technique for reducing the spurious signal content in digital sinusoid synthesis. Spurious-harmonic (spur) reduction is accomplished through dithering both amplitude and phase values prior to word-length reduction. The analytical approach developed for analog quantization is used to produce new bounds on spur performance in these dithered systems. Amplitude ...

Digital Audio Broadcasting (DAB) is an emerging technology which is currently experiencing rapid growth following the advent of ETS 300-401 DAB standard in Europe and the ATSC ATV standard in the U.S. Wide-band audio compression is performed by ISO-MPEG layer II for DAB, and by Dolby AC-3 for ATV. To achieve high quality audio, current DSP implementations for such compression algorithms typical...

We are witnessing today increasing use and popularity of digital video, from CDROMs, Internet to digital TV broadcast. However, as with analog video, these applications treat video as a sequence of moving images and the primary means of playback is sequential in nature, from the first to last frame. In this paper, we describe new applications of creating and using digital video and discuss new ...

Traditionally physical systems have been designed by engineers using complex collections of rules and principles. The design process is top-down in nature and begins with a precise specification. This contrasts very strongly with the mechanisms which have produced the extraordinary diversity and sophistication of living creatures. In this case the ‘‘designs’’ are evolved by a process of natural...

Cl91 H. Kwan, “On the problem of designing IIR digital filters with short coefficient wordlengths,” IEEE Tram. Acourt. Speech, Signal Processing, vol. ASSP-27, pp. 620-624, Dec. 1919. A. Sedlmeyer and A. Fettweis, “Digital filters with true ladder configuration,” Circuit Theory Appl., vol. 1, pp. 5-10, 1973. K. Renner and S. C. Gupta, “On the design of wave digital filters with low sensitivity ...

The main functions of a WSN transmitter are to modulate the base band data onto an RF carrier, amplify the modulated signal and to provide matching to the antenna for efficient power delivery into the free space. It requires low radiated power due to shorter communication distance, low data rate with low power consumption and fast wake up time. These unique specifications require modification o...