Efficient suboptimal state assignment for large sequential machines

\u3cp\u3eOptimal state assignment is one of the most important problems in the automatic synthesis of sequential machines. State assignment approaches can be divided into: Structural (that construct 'suboptimal' assignments) and statistical (that generate assignments). The author has developed and implemented a new structural method. Analyzing the factors that influence the quality of assignments and performing experiments, it is concluded that the distribution of solutions is close to a normal distribution. Some probabilistic quality measures for assignments and assignment methods are introduced and applied to the structural and random approach. Both approaches are compared and it is indicated that the difficulty in evaluating the quality of an assignment by statistical approach is the main reason why structural approaches can be more efficient than statistical ones.\u3c/p\u3

Embedded computing technology for highly-demanding cyber-physical systems

\u3cp\u3eThe recent spectacular progress in the microelectronic, information, communication, material and sensor technologies created a big stimulus towards development of much more sophisticated, coherent and fit to use, smart communicating cyber-physical systems (CPS). The huge and rapidly developing markets of the modern CPS represent great opportunities for both private enterprises and country economies. However, these opportunities come with a price of unusual systems complexity, as well as, stringent and difficult to satisfy requirements of the modern CPS applications. Specifically, numerous mobile and autonomous CPS applications require a. o. a guaranteed (ultra-)high performance or (ultra-)low energy consumption, as well as, a high reliability, safety and security. To adequately address these problems and overcome the related challenges a sophisticated embedded computing and embedded design technologies are needed. After a brief introduction to modern CPS and consideration of several serious challenges of their design, this paper discusses the embedded computing technology needed for the modern complex and highly-demanding mobile and autonomous CPS.\u3c/p\u3

Quality-driven design of integrated systems

The importance of the integrated system's market, technology revolution, explosion of new market competitors, high requirements of embedded systems, and many other factors create a situation in which the quality-driven design is a necessity. The aim of this paper is to discuss some theoretical and methodological foundations of the quality-driven design and to consider some implications of the modern quality concepts on design exploration techniques, design decision making, design reuse and design validation

Simultaneous decompositions of sequential machines

\u3cp\u3eLarge sequential machines are difficult to design, to optimize, to implement and to verify. Therefore, methods and CAD tools are needed that can decompose sequential machines. In this paper, we briefly describe the theoretical and practical results that were obtained in the field of simultaneous decompositions which divide the process described by a given sequential machine into a number of interacting parallel partial processes, each implemented by one partial machine.\u3c/p\u3

The full decomposition of sequential machines with the state and output behaviour realization

The design of large logic systems leads to the practical problem how to decompose a complex system into a number of simpler subsystems. The decomposition theory of sequential machines tries to find answers to this problem for sequential machines. For many years, the simpler machine was defined as a machine with fewer states and, therefore, state-decompositions of sequential machines were considered. Together with the progress in LSI\u3cbr/\u3etechnology and the introduction of array logic into the design of\u3cbr/\u3esequential circuits a real need arose for decompositions not only\u3cbr/\u3eon states of sequential machines but on inputs and outputs too,\u3cbr/\u3ei.e. for full-decompositions. In this report, a general and unified classification of fulldecompositions is presented, formal definitions of different sorts of full-decompositions for Mealy and Moore machines are\u3cbr/\u3eintroduced and theorems about the existence of fulldecompositions with the state and output behaviour realization are formulated and proved. The presented theorems have a straightforward practical interpretation. Based on them, a set of algorithms has been developed and a system of programs has been made for computing the different sorts of decompositions

Wearable and mobile systems

The recent spectacular progress in the microelectronic, information, communication, material and sensor technologies created a big stimulus towards development of smart communicating cyber-physical systems (CPS). CPS connected to Internet started to form the Internet of Things (IoT) that is undergoing an explosive growth. In 2013 there were approximately 12.1 billion internet-connected devices, and their number is expected to more than quadruple to nearly 50 billion devices by 2025. Modern mobile systems constitute a very important subclass of CPS. Examples of such systems include automotive and transportation systems, mobile equipment transported by people or animals (including wearable or implantable systems), mobile robots, etc. For the CPS and IoT chip market as high as 30% annual growth rate is predicted for the period 2013-2020 (Gartner, Oct. 2014) that will be mainly driven by the need for low-power embedded processing, communications and sensing for mobile CPS sectors like smart automotive, wireless communication and wearables, with smart healthcare wearables growing at 65% a year to $41 billion in 2020 (Soreon Research, Oct. 2014)