scispace - formally typeset
Search or ask a question

Showing papers by "Cristiana Bolchini published in 1999"


Proceedings ArticleDOI
01 Nov 1999
TL;DR: This paper proposes a synthesis methodology aimed at improving the concurrent error property of combinational TSC devices through an iterative application of a structural modification of the device and an evaluation of the impact of such a modification.
Abstract: This paper proposes a synthesis methodology aimed at improving the concurrent error property of combinational TSC devices. The methodology is based on an iterative application of a structural modification of the device (observability modification) and an evaluation of the impact of such a modification. The quality evaluation is performed by means of a cost function for totally self-checking combinational devices which takes into account different aspects besides the area overhead criterion for comparing different realization strategies. The methodology has been validated on a set of MCNC91 benchmarks.

2 citations