Automated Design of Totally Self-Checking Sequential Circuits

Authors:
Jerzy Greblicki;Jerzy Kotowski
Affiliations:
Institute of Computer Engineering, Control and Robotics, Wrocław University of Technology, Wrocław, Poland 50-372;Institute of Computer Engineering, Control and Robotics, Wrocław University of Technology, Wrocław, Poland 50-372
Venue:
Computer Aided Systems Theory - EUROCAST 2009
Year:
2009

Citing 0
Cited 1

The cutting stock problem recent application in information technology

EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper methods of designing of a class of highly reliable digital circuit - Totally Self Checking Sequential Machines are presented. The main problem in TSC sequential machines (TSC SM) designing is synthesis TSC functional excitation circuit. Formal condition of ST property for both AND-OR and AND-AND-OR structures are presented. The description of design methodology of TSC SM is presented. Owing to our methods we can design TSC circuits in a fully automatic way.