| The system of logical optimization of functional structural descriptions of digital circuits based on production-frame knowledge representation model |
|
 |
|
|
| Authors |
| | Bibilo P.N. |
| | Romanov V.I. |
| Date of publication |
| | 2020 |
| DOI |
| | 10.31114/2078-7707-2020-4-9-16 |
|
| Abstract |
| | The FLC-2 system is described. The system is designed to optimize hierarchically organized functional and structural descriptions of logic circuits presented in the SF language, which is the internal language of the system. To communicate with other CAD systems of digital devices, FLC-2 has the means to convert SF descriptions to VHDL descriptions (and vice versa). Logical optimization is carried out through the use of combined methods that implement various basic optimization techniques: minimization of systems of Boolean functions in the class of DNF, optimization of multilevel representations of Boolean function systems based on Boolean networks and BDD representations, decomposition of matrix and bracket forms, allocation of subsystems of functions related by areas of definition.
The FLC-2 system implements a productive rule approach for managing sequences of design procedures intended for their use at the stage of logical design of complex functional blocks of custom digital VLSIs. The experiments demonstrated the expediency of using the FLC-2 system for preliminary optimization of digital circuits implemented in industrial CAD systems for custom digital VLSI and FPGA. |
| Keywords |
| | system of Boolean functions, Disjunctive Normal Form (DNF), Binary Decision Diagram (BDD), digital logic synthe-sis, VHDL, VLSI, CMOS, knowledge base. |
| Library reference |
| | Bibilo P.N., Romanov V.I. The system of logical optimization of functional structural descriptions of digital circuits based on production-frame knowledge representation model // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2020. Issue 4. P. 9-16. doi:10.31114/2078-7707-2020-4-9-16 |
| URL of paper |
| | http://www.mes-conference.ru/data/year2020/pdf/D114.pdf |
