In recent years much progress has been made towards the development of mathematical methods (“formal methods”) through which it is possible, in principal, to specify and design software to conform to specifications. Although formal methods have the potential to offer a basis for software engineering akin to the calculational methods and tools of other engineering disciplines, these methods have...

It is well known that learning (i.e., indirect implications) based techniques perform very well in many instances of combinational circuit veri cation when the two circuits being veri ed have many corresponding internal equivalent points. We present some results on combinational circuit design veri cation using a powerful, and highly general learning technique called functional learning. Functi...

Architecture is a multidisciplinary science with many dimensions. For a design task the major part of the design requirements are often qualitative (soft) next to quantitative design data so that some appropriate information processing tools borrowed from A1 technology must be invoked for rapid and effective treatment. At this point, fuzzy logic can play important role. The research focuses on ...

In this paper we address the problem of minimization of power consumption in combinational circuits by minimizing the number of switching transitions at the output nodes of each gate. A powerful combinational logic optimization method using k-map is presented here that is based on disjoint implicants (implicates) of a function. More than 10% reduction in switching activity has been obtained wit...

Patterns distill successful experience in solving common software problems. We introduce a handful of new software design patterns for functional logic languages. Some patterns are motivated by the evolution of the paradigm in the last 10 years. Following usual approaches, for each pattern we propose a name and we describe its intent, applicability, structure, consequences, etc. Our patterns de...

The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent as sequences of “alternative acceptable outcomes”. We then study how the agent’s beliefs and norms can be used to filter the mental attitudes out of the sequ...

This paper compares three different logic styles for implementing arbitrary Boolean functions of upto three inputs in terms of their layout area, delay and power dissipation. The three styles are nMOS pass transistor based design, NAND gate based design, and CMOS complementary logic design. Results of the comparison show that pass transistor based design is superior to NAND based design, but lo...

In this paper, the Multi-flow Asynchronous Temporal Logic, called MAT Logic, is presented. MAT Logic is a new temporal×modal logic with non-deterministic operators among time flows as accessibility relations. The main goal of this work has been the design and description of a logic that could be capable of managing communications among systems with not necessarily synchronizable time flows. In ...