Logic synthesis is a novel architectural concept used for converting a high level description of logic circuit into optimized gate level description. The method ranges from transforming a RTL description to producing an optimized netlist. Logic minimization plays an important role in optimization of logic synthesis. This optimization is done through the function minimization through different e...

2 October, 1996 ISSN 1100{0686 Forms of Logic Speci cations: A Preliminary Study Kung-Kiu Lauy Mario Ornaghi Dept of Computer Science DSI University of Manchester Universita' degli studi di Milano Manchester M13 9PL Via Comelico 39/41, Milano United Kingdom Italy [email protected] [email protected] Abstract There is no universal agreement on exactly what form a speci cation sho...

Understanding Indirect Speech Acts (ISAs) is an integral function of human understanding of natural language. Recent attempts at understanding ISAs have used rule-based approaches to map utterances to deep semantics. While these approaches have been successful in handling a wide range of ISAs, they do not take into account the uncertainty associated with the utterance’s context, or the utteranc...

The past 30 years have seen an enormous growth in the power and sophistication of digital design tools, while progress in analog tools has been much more modest. Digital tools use many abstractions to allow them to validate implementations match the functional models, and the composition of cells matches the composition of the functional models. While there are many reasons why this is more dif...

Enhancing undergraduate and graduate curriculum to include state-of-the-art tools and techniques deserves utmost importance in this fast pacedworld of engine ering and technological growth. Design, the art of applying one's knowledge and exp erienc e to the solution of real problems is what makes engineering an exciting and rewarding career. In this pap er,exp erience from teaching a senior lev...

We describe the use of hardware compilation techniques to provide a exible interfacing and computing platform for building self-validating (SEVA) sensors. SEVA technology has been developed at Ox-ford as a generic method of supplying a real-time guarantee on the quality of a physical measurement as well as the measurement itself. We describe the reconngurable hardware platforms that have been c...

To guarantee a good quality of synthesized speech in a rule-based synthesis, detailed and accurate segmental and suprasegmental rules for a given text are necessary. Especially, much work on the prosodic structure is needed. The goal of this study is to examine roles of syntactic information, intonation pattern, and phrase final lengthening in formation of prosodic units or perception of a phra...

This paper aims to deliver a better understanding of the relationship between the physical and virtual, two dimensional and three dimensional representations of form that are employed in the critical early stages of design. It presents findings from observations of practice undertaken to provide an initial dataset on how designers move between these representations, and of the kind and quantity...

A fast fault-tolerant controller structure is presented, which is capable of recovering from transient faults by performing a rollback operation in hardware. The proposed fault-tolerant controller structure utilizes the rollback hardware also for system mode and this way achieves performance improvements of more than 50% compared to controller structures made fault tolerant by conventional tech...