Building of a logic design system of digital devices using the apparatus of functional grammars

When producing complex, high-tech digital devices, computer engineering, automation and communication devices, it is becoming increasingly important to design and model digital systems. The problem of improving the efficiency of design tools for digital systems is topical. This article is devoted to the problem of constructing an automated system of logic design, intended to convert the given Boolean functions into a structural description of the combination circuit. The system is constructed in accordance with the model described by means of the apparatus of functional grammars. Using this apparatus, the system performs a multi-block sequential decomposition of Boolean functions on various elementary bases. The model is implemented in Haskell, which has a wide range of possibilities for working with grammatical structures and belongs to the functional family of languages.