Formal verification of embedded systems based on CFSM networks

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formal verification of embedded systems based on CFSM networks

Full text

Pdf (137 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 33rd annual Design Automation Conference table of contents

Las Vegas, Nevada, United States

Pages: 568 - 571

Year of Publication: 1996

ISBN:0-89791-779-0

Authors

Felice Balarin	Cadence Berkeley Laboratories
Harry Hsieh	Dpt. of EECS, University of California at Berkeley
Attila Jurecska	Magneti Marelli, Italy
Luciano Lavagno	Politecnico di Torino, Italy
Alberto Sangiovanni-Vincentelli	Dpt. of EECS, University of California at Berkeley

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 36, Citation Count: 13

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/240518.240626 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	Massimiliano Chiodo , Paolo Giusto , Harry Hsieh , Attila Jurecska , Luciano Lavagno , Alberto Sangiovanni-Vincentelli, A Formal Specification Model for Hardware/Software Codesign, University of California at Berkeley, Berkeley, CA, 1993
	2	Massimilano Chiodo , Paolo Giusto , Attila Jurecska , Harry C. Hsieh , Alberto Sangiovanni-Vincentelli , Luciano Lavagno, Hardware-Software Codesign of Embedded Systems, IEEE Micro, v.14 n.4, p.26-36, August 1994 [doi>10.1109/40.296155]
	3	Robert P. Kurshan, Computer-aided verification of coordinating processes: the automata-theoretic approach, Princeton University Press, Princeton, NJ, 1994
	4	L. Lavagno , M. Chiodo , P. Giusto , A. Jurecska , H. Hsieh , S. Yee , A. Sangiovanni-Vincentelli , K. Suzuki, A case study in computer-aided codesign of embedded controllers, Proceedings of the 3rd international workshop on Hardware/software co-design, September 22-24, 1994, Grenoble, France
	5	T. Shiple, A. Aziz, F. Balarin, S. Cheng, R. Hojati, T. Kam, S. Krishnan, V. Singhal, H. Wang, R. Brayton, and A. Sangiovanni-Vincentelli. Formal design verification of digital systems. In Proceedings of TECHCON, 1993.

CITED BY 13

	Pai Chou , Gaetano Borriello, Modal processes: towards enhanced retargetability through control composition of distributed embedded systems, Proceedings of the 35th annual conference on Design automation, p.88-93, June 15-19, 1998, San Francisco, California, United States
	Vincent J. Mooney, III , Giovanni De Micheli, Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system, Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design, p.605-612, November 09-13, 1997, San Jose, California, United States
	M. Di Natale , A. Sangiovanni-Vincentelli , F. Balarin, Task scheduling with RT constraints, Proceedings of the 37th conference on Design automation, p.483-488, June 05-09, 2000, Los Angeles, California, United States
	James A. Rowson , Alberto Sangiovanni-Vincentelli, Interface-based design, Proceedings of the 34th annual conference on Design automation, p.178-183, June 09-13, 1997, Anaheim, California, United States
	Ansgar Bredenfeld, Co-design tool construction using APICES, Proceedings of the seventh international workshop on Hardware/software codesign, p.126-130, March 1999, Rome, Italy
	Luis Alejandro Cortés , Petru Eles , Zebo Peng, Verification of embedded systems using a petri net based representation, Proceedings of the 13th international symposium on System synthesis, September 20-22, 2000, Madrid, Spain
	Felice Balarin , Alberto Sangiovanni-Vincentelli, Schedule validation for embedded reactive real-time systems, Proceedings of the 34th annual conference on Design automation, p.52-57, June 09-13, 1997, Anaheim, California, United States
	Luis Alejandro Cortés , Petru Eles , Zebo Peng, Modeling and formal verification of embedded systems based on a Petri net representation, Journal of Systems Architecture: the EUROMICRO Journal, v.49 n.12-15, p.571-598, December 2003
	Pao-Ann Hsiung, Timing coverification of concurrent embedded real-time systems, Proceedings of the seventh international workshop on Hardware/software codesign, p.110-114, March 1999, Rome, Italy
	Alberto L. Sangiovanni-Vincentelli , Patrick C. McGeer , Alexander Saldanha, Verification of electronic systems, Proceedings of the 33rd annual conference on Design automation, p.106-111, June 03-07, 1996, Las Vegas, Nevada, United States
	Gérard Berry , Ellen M. Sentovich, An Implementation of Constructive Synchronous Programs in POLIS, Formal Methods in System Design, v.17 n.2, p.135-161, Oct. 2000
	Fei Xie , Guowu Yang , Xiaoyu Song, Component-based hardware/software co-verification for building trustworthy embedded systems, Journal of Systems and Software, v.80 n.5, p.643-654, May, 2007
	Harry Hsieh , Alberto Sangiovanni-Vincentelli, Modeling micro-controller peripherals for high-level co-simulation and synthesis, Proceedings of the 5th International Workshop on Hardware/Software Co-Design, p.127, March 24-26, 1997