Abstract
To improve the verification testability of multilevel circuits, a multilevel logic synthesis technique, called VETERAN, for verification testability has been developed. The main steps in VETERAN are first, the determination of the minimum sets of input variables (referred to as 'minimum variable supports') for each output function. Secondly, an efficient verification testing scheme is derived from each set of input variable supports. Thirdly, the minimum variable support and the proper logic (uncomplementary or complementary logic) for every output are determined. Finally, a multilevel circuit, which can be tested by the previously determined verification testing scheme, is implemented by the conventional multilevel logic synthesis techniques. To prove the effectiveness of the proposed technique, it was compared with misII for 59 examples. In all 59 examples, the proposed technique gives results which are better than, or as good, as misII, in terms of testability. For 21 examples, the proposed technique results in smaller circuits, which have a better testability or the same testability.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: IEE Proceedings - Computers and Digital Techniques
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.