It presents a disruptive theory focused on processor-free in-memory computing based on read-write transactions on logical vector. The book contains 22 chapters, which are structurally divided into 4 parts:

• Theory of Vector-Logic Computing;
• Vector-Logic Design and Test Computing;
• Vector-Logic Intelligent Computing;
• Vector-Logic Social Computing.

The engineering of the proposed innovations in the book is represented by original mechanisms (model-algorithm), implemented into cloud-services.

The pre-press preparation of the publication took about two years. Initially, the manuscript contained over 1000 pages, but at the publisher’s initiative, the format was changed to an enlarged two-column layout. This made it possible to optimize the volume, making the book more convenient for reading and binding.

This impressive scientific work is the result of more than 20 years of research by the author. As a development of his scientific school, several dissertations on this topic are expected to be defended by postgraduate students of the Design Automation Department under the supervision of Professor Vladimir Hahanov.

Link to the book: https://link.springer.com/book/10.1007/978-3-032-07001-2

The post Professor Vladimir Hahanov’s monograph has been published first appeared on Design Automation Department.

The Modeling for Simulation (MOSI) cloud service consists of the following components:

1. synthesis of a testing map based on the logic vector of functionality;
2. synthesis of a logic vector of a digital circuit defined by the logic vectors of its elements;
3. simulation of the fault-free behavior of a logic circuit based on the vector representation of logic elements;
4. fault simulation (as addresses) of logic circuits based on deductive vectors of logic elements;
5. fault finding in logic functionality using its testing map;
6. a GUI for logic circuit input, where elements are represented by logic vectors.

The relevance of creating the MOSI system as a cloud service lies in the economical solution of digital project verification tasks according to the resource-saving metric – energy (by at least 38%) and time (by at least an order of magnitude) – as well as in providing access to users from anywhere in the world, which serves as an example of future mass computing. More efficient use of resources, waste reduction, and minimizing the negative environmental impact contribute to preserving the planet’s ecology, which aligns with the Sustainable Development Goals (SDG 12 – Responsible Consumption and Production, SDG 9 – Industry, Innovation, and Infrastructure).

Authors:

• Ivan Khakhanov, PhD (Candidate of Technical Sciences), Assistant at the APOT Department, NURE;
• Georgiy Kulak, Assistant at the APOT Department, NURE;
• Andriy Voronov, PhD Student at the APOT Department, NURE;
• Oleh Demchenko, PhD Student at the APOT Department, NURE;
• Nataliia Maksymova, PhD Student at the APOT Department, NURE;
• Veronika Ponomarova, Engineer at the APOT Department, NURE.

Scientific Supervisor: Volodymyr Khakhanov, D.Sc., Professor at the APOT Department, NURE.

The post Modeling for Simulation (MOSI) Cloud Service first appeared on Design Automation Department.