Verification of systems containing counters

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Verification of systems containing counters

Full text

Pdf (498 KB)

Source

International Conference on Computer Aided Design archive
Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design table of contents

Santa Clara, California, United States

Pages: 179 - 182

Year of Publication: 1992

ISBN:0-89791-540-2

Authors

Enrico Macii	University of Colorado, Dept. of Electrical and Computer Engineering, Boulder, CO and Politecnico di Torino, Dip. di Automatica e Infomatica, Torino, Italy 10129
Bernard Plessier	University of Colorado, Dept. of Electrical and Computer Engineering, Boulder, CO
Fabio Somenzi	University of Colorado, Dept. of Electrical and Computer Engineering, Boulder, CO

Sponsors

IEEE-CAS : Circuits & Systems
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CS : Computer Society

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 9, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

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

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	R. P. Kurshan, Analysis of discrete event coordination, Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness, p.414-453, May 1990, Mook, The Netherlands
	2	7.. Har El, R. P. Kurshan, "Software for Analytical Developmerit of Communications Protocols , AT&T Tech. Journal, pp. 45-59, January 1990.
	3	O. Coudert, C. Berthet, J. C. Msdre~ "Verification of Sequential Machines Using Boolean Functional Vectors", Internationa\| Worka~op on Applied Fomai Methods for Correct VLS{ D:s{gn, pp. 111-128, November 1989.
	4	H. Cho, G. D. Hschtel, S. W. Jeong. B. Plessier, E. Schwars, F. Somensi, "ATPG Aspects of FSM"~erification", I(TCAD-90, pp. 134-137, November 1990.
	5	Carver Mead , Lynn Conway, Introduction to VLSI Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1979
	6	Srinivas Devadas , Kurt Keutzer , A. S. Krishnakumar, Design Verfication and Reachability Analysis Using Algebraic Manipulation, Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors, p.250-258, October 14-16, 1991
	7	J. R. Burch , E. M. Clarke , K. L. McMillan , David L. Dill, Sequential circuit verification using symbolic model checking, Proceedings of the 27th ACM/IEEE conference on Design automation, p.46-51, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123223]
	8	A. Ghosh, S. Devadss, UA Mixed Depth-P;rst/Breadth-Pirst TraversaI Technique for Sequential Logic Verification", MC'NC Worklhop on l, og~c Synthesis, Vol. 3, May 1991.
	9	Edmund M. Clarke , Orna Grumberg , David E. Long, Model checking and abstraction, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.343-354, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143235]

CITED BY 5

	G. Logothetis , K. Schneider, Abstraction from counters: an application on real-time systems, Proceedings of the conference on Design, automation and test in Europe, p.486-493, March 27-30, 2000, Paris, France
	Jae-Young Jang , Shaz Qadeer , Matt Kaufmann , Carl Pixley, Formal verification of FIRE: a case study, Proceedings of the 34th annual conference on Design automation, p.173-177, June 09-13, 1997, Anaheim, California, United States
	James C. Corbett, Identical tasks and counter variables in an integer programming-based approach to verification, Proceedings of the 7th international workshop on Software specification and design, December 06-07, 1993, Redondo Beach, California
	Eric Verlind , Tilman Kolks , Gjalt de Jong , Bill Lin , Hugo De Man, A time abstraction method for efficient verification of communicating systems, Proceedings of the 31st annual conference on Design automation, p.609-614, June 06-10, 1994, San Diego, California, United States
	G. Cabodi , P. Camurati , L. Lavagno , S. Quer, Verification and Synthesis of Counters Based on Symbolic Techniques, Proceedings of the 1997 European conference on Design and Test, p.176, March 17-20, 1997