Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 With EDA Technofair

DOI: 10.1109/aspdac.1995.486391

|View full text |Cite

|

Sign up to set email alerts

|

Efficiency comparison of signature monitoring schemes for FSMs

Régis Leveugle²,

Abstract: ISBN: 4930813670This paper addresses the detection of permanent and transient faults in complex VLSI circuits, with a particular focus on faults leading to sequencing errors. Several Finite State Machine implementations using signature monitoring for control-flow checking are compared in terms of error detection latency, theoretical error coverage, experimental error coverage and area overheads. Advantages and drawbacks of each approach are presented

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

0

Mentioning

0

Contrasting

0

Publication Types

Select...

Other4

Article1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 5 publications

References 13 publications

Supporting

0

Mentioning

0

Contrasting

0

Order By: Relevance

Automatic and optimized synthesis of dataparts with fault detection or tolerance capabilities

et al.

1997 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems

View full text Add to dashboard Cite

ISBN: 0818681683We present here the first version of an automatic tool for the synthesis of dataparts with fault detection or tolerance characteristics. This work is to be combined with solutions already proposed for controllers, in order to provide a complete control-dominated synthesis flow allowing the synthesis of control/data architectures with fault detection or tolerance capabilities

Automatic and optimized synthesis of dataparts with fault detection or tolerance capabilities

et al.

1997 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems

View full text Add to dashboard Cite

ISBN: 0818681683We present here the first version of an automatic tool for the synthesis of dataparts with fault detection or tolerance characteristics. This work is to be combined with solutions already proposed for controllers, in order to provide a complete control-dominated synthesis flow allowing the synthesis of control/data architectures with fault detection or tolerance capabilities

Finite state machine synthesis with concurrent error detection

¹

,

²

,

³

International Test Conference 1999. Proceedings (IEEE Cat. No.99CH37034)

View full text Add to dashboard Cite

A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the next-state logic of the finite state machines are checked independently. By checking parity on the present state instead of the next state, this technique allows detection of errors in bistable elements (that were hitherto not detected by many previous techniques) while requiring no changes in the original machine specifications. This paper also examines design choices with respect to parity prediction circuits. Two such examined choices are the multi-parity-group and the single-paritygroup techniques. A new state encoding technique based on the JEDI program is developed for the synthesis of the next-state logic with an additional parity output. Synthesis results produced by our proposed procedure for the MCNC'89 FSM benchmark circuits show on average a 25% reduction in literal counts compared to previous techniques.

Standard and ROM-based synthesis of FSMs with control flow checking capabilities

Proceedings of 14th VLSI Test Symposium

View full text Add to dashboard Cite

ISBN: 0818673044This paper deals with the detection of sequencing errors in finite state machines. Several control-flow checking methods, implemented in an automatic synthesis tool, are presented. The contribution of this paper lies in that these methods are introduced in the ROM-based architecture, and compared to equivalent methods available in the standard synthesis flow

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Product

Browser Extension Assistant by scite Citation Statement Search Reference Check Visualizations Dashboards Explore Journals Explore Organizations Explore Funders Embedding Badge Embedding Citation Search Pricing

Resources

Blog Help & FAQ Accessibility Statement API Terms For Universities & Governments For Researchers For Publishers For Corporate, Pharma & Enterprise Author Marketing Become an Affiliate Get an organization trial or quote scite Data & Services

About

News & Press Careers Read our Paper Coverage

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Copyright © 2025 scite LLC. All rights reserved.

Made with 💙 for researchers

Part of the Research Solutions Family.