Study of boolean functions minimization algorithm (essential literals method) on a set of tests at various values of parameters and choice the most effective combinations. For this purpose was made:
- the library for data visualization with an opportunity of the subsequent embedding in the program of logic synthesis SIS is realized;
- the set of the tests is generated;
- minimization for a set of the tests is carried out at various values of parameters;
- dependence of functions complexity and transit time of signals at various values of parameters are made, using the realized library for visualization;
- most effective combinations of parameters are chosen.

Used language: C

Used tool: gcc

Integrated Environment for Co-Development of Software and Hardware of Embedded Systems (IEESD-2000 = HLCCAD + Winter)

The system allows develop the complex hierarchically organized projects of the digital systems consisting from components of various levels of complexity, from logic gates to microcontrollers and microprocessors. It is also include universal high-level debugging tools: disassembler, source-level debugger, windows with registers, memories, stack, variables, etc. IEESD-2000 allows develop digital devices from idea to synthesized subset VHDL. The main advantages are: processors models support, modeling of software/hardware complexes, multiprocessors systems support.

Processor Periphery Description Language (PPDL)

Software models of microprocessors and microcontrollers for IEESD-2000, HLCCAD, Winter

The special procedure of the description of microprocessors and microcontrollers in the high level languages is developed. The possibility of describing of the cores and periphery (pins, counters, timers, events, interruptions etc) is ensured. The program models of the following microprocessors are realized: Intel 8051, Atmel AVR, Motorola MC6805/08, MicroChip PIC, TI TMS370, ARM and DSP TI TMS320C54x.

Used languages: Pascal, Assembler

UniICE – Universal in-circuit emulator

This device intended for design and debugging the hardware and software of systems based on various types of 8/16/32 bit microcontrollers and  microprocessors. Allow running software in real time, step mode, with breakpoints and reading/modifying internal resources of target devices (memory, registers, stack etc).

Used technology: FPGA

Used languages: Pascal, Assembler

UniICS – Universal in-circuit simulator for any hardware/software systems.

The universal in-circuit simulator UniICS is device for the design and debugging of the digital units of arbitrary complexity (including multiprocessing) in the real environment of functioning. Simulator is "bridge" between the software model and hardware device, which functions on the instrumental computer and certain hardware environment, with which this model interacts. Herewith simulator ensures a duplex translation of signals between the ambience of modeling and real equipment.

Used technology: FPGA

Used language: Pascal

ANT-97 – In-circuit emulator

This device intended for debugging the hardware and software of systems based on microcontroller Intel 8051. Allow running software in real time, step mode, with breakpoints and reading/modifying internal resources of target devices (memory, registers, stack etc). ANT-97 released in the small package with the built-in power supply unit.

Used technology: PCB

Used languages: Pascal, Assembler for Intel 8051

Electronic key for software protection

The device is connected to PC parallel port and decodes incoming data from the protected software.

Used languages: Pascal, Assembler for Atmel AVR microcontroller

Integrated Development Environment for Multiprocessors Embedded Systems (WInter)

IDE is allowed to develop the complicated software of the multiprocessors systems with use of the microcontrollers and peripheral devices models. The set of tools for editing source texts, compiling, correction of errors is given to the developers. It is possible to load received code in processors models and simulate systems execution. The main advantages are: integrated powerful editor, high-level languages support, project manager, external translators support, any processors support, external periphery modeling, hardware debugging devices support.

Used languages: Object Pascal, Assembler for Intel 8051

High-Level Chip Computer-Aided Design (HLCCAD)

Used language: Assembler for Atmel AVR

Device for converting AC97 output bit stream to D/A chips input stream and converting A/D output stream to AC97 chip input stream. Also possible to make some control operations.

Device (model) for addition, subtraction, multiplication and dividing the decimal numbers. It was developed as demo-project for Winter.

Used language: Assembler for Intel 8051