Optimized state assignment of single fault tolerant FSMs based on SEC codes

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Optimized state assignment of single fault tolerant FSMs based on SEC codes

Full text

Pdf (623 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 30th international Design Automation Conference table of contents

Dallas, Texas, United States

Pages: 14 - 18

Year of Publication: 1993

ISBN:0-89791-577-1

Author

R. Leveugle

Sponsors

EDAC : Electronic Design Automation Consortium
IEEE-CAS : Circuits & Systems
SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 20, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/157485.164552 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Patrick Edmond , Anurag P. Gupta , Daniel P. Siewiorek , Audrey A. Brennan, ASSURE: automated design for dependability, Proceedings of the 27th ACM/IEEE conference on Design automation, p.555-560, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123401]
	2	Charles R. Yount , Daniel P. Siewiorek, SIDECAR: design support for reliability, Proceedings of the 28th conference on ACM/IEEE design automation, p.199-204, June 17-22, 1991, San Francisco, California, United States [doi>10.1145/127601.127664]
	3	R. Karri , A. Orailoglu, Transformation-based high-level synthesis of fault-tolerant ASICs, Proceedings of the 29th ACM/IEEE conference on Design automation, p.662-665, June 08-12, 1992, Anaheim, California, United States
	4	Christos A. Papachristou , Scott Chiu , Haidar Harmanani, A data path synthesis method for self-testable designs, Proceedings of the 28th conference on ACM/IEEE design automation, p.378-384, June 17-22, 1991, San Francisco, California, United States [doi>10.1145/127601.127698]
	5	Vijay Raghavendra , Chidchanok Lursinsap, Automated micro-roll-back self-recovery synthesis, Proceedings of the 28th conference on ACM/IEEE design automation, p.385-390, June 17-22, 1991, San Francisco, California, United States [doi>10.1145/127601.127699]
	6	R. Leveugle, L. Martinez, "Design methodology of FSMs with intrinsic fault tolerance and recovery capabilities", IEEE Proc. EuroASIC'92, 1992, pp. 201-206
	7	Régis Leveugle , Gabrièle Saucier, Optimized Synthesis of Concurrently Checked Controllers, IEEE Transactions on Computers, v.39 n.4, p.419-425, April 1990 [doi>10.1109/12.54835]
	8	G. de Micheli, A. Sangiovanni-VincenteUi, R. K. Brayton, "Optimal state assignment of finite state machines", IEEE trans, on CAD, vol. 4, no. 4, July 1985, pp. 269-285
	9	S. Devadas, H.-K. Ma, A. R. Newton, A. Sangiovanni-Vincentelli, "MUSTANG: state assignment of finite state machines targeting multilevel logic implementations", IEEE trans, on CAD, vol. 7, no. 12, December 1988, pp. 1290-1300
	10	Alan J. Coppola, An implementation of a state assignment heuristic, Proceedings of the 23rd ACM/IEEE conference on Design automation, p.643-649, July 1986, Las Vegas, Nevada, United States
	11	B. Lin, A. R. Newton, "Synthesis of multiple level logic from symbolic high-level description languages", "VLSI 89", G. Musgrave and U. Lauther editors, Elsevier Science Publishers, North-Holland, Amsterdam, 1989, pp. 187-196
	12	T. Villa , A. Sangiovanni-Vincentelli, NOVA: state assignment of finite state machines for optimal two-level logic implementations, Proceedings of the 26th ACM/IEEE conference on Design automation, p.327-332, June 25-28, 1989, Las Vegas, Nevada, United States [doi>10.1145/74382.74437]
	13	G. Saucier , C. Duff , F. Poirot, State assignment using a new embedding method based on an intersecting cube theory, Proceedings of the 26th ACM/IEEE conference on Design automation, p.321-326, June 25-28, 1989, Las Vegas, Nevada, United States [doi>10.1145/74382.74436]
	14	Gabriele Saucier , Christopher Duff , Franck Poirot, State assignment of controllers for optimal area implementation, Proceedings of the conference on European design automation, March 12-15, 1990, Glasgow, Scotland
	15	D. B. Armstrong, "A general method of applying error correction to synchronous digital systems", The Bell System Technical Journal, vol. 40, no. 2, March 1961, pp. 577-593
	16	J. F. Meyer, "Fault-tolerant sequential machines", IEEE trans, on Comp., vol. C-20, no. 10, October 1971, pp. 1167-1177
	17	W. W. Peterson, E. J. Weldon, "Error-correcting codes", Second edition, MIT Press, 1972
	18	R. Leveugle, "Optimized state assignment of single fault tolerant FSMs based on SEC codes", Research Report CSI-SdF-92.1, INPG/CSI, Grenoble, France, July 1992

CITED BY 2

	Nur A. Touba , Edward J. McCluskey, Logic synthesis techniques for reduced area implementation of multilevel circuits with concurrent error detection, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.651-654, November 06-10, 1994, San Jose, California, United States
	Eckart Voskamp , Wolfgang Rosenstiel, Error Detection in Fault Secure Controllers using State Encoding, Proceedings of the 1996 European conference on Design and Test, p.200, March 11-14, 1996