An efficient verification algorithm for parallel controllers

Full Text:

Pdf

Buy this Article

Authors:	Krzysztof Biliński	Department of Electrical and Electronic Engineering, University of Bristol, Bristol BS8 1TR, United Kingdom
	E. L. Dagless	Department of Electrical and Electronic Engineering, University of Bristol, Bristol BS8 1TR, United Kingdom
	Jonathan Saul	Department of Electrical and Electronic Engineering, University of Bristol, Bristol BS8 1TR, United Kingdom
	Janusz Szajna	Department of Computer Engineering and Electronics, Higher College of Engineering, 65-246 Zielona Gora, Poland

	1994 Article
Bibliometrics
· Downloads (6 Weeks): 1 · Downloads (12 Months): 3 · Citation Count: 0

Published in:

	· Proceeding
	EURO-DAC '94 Proceedings of the conference on European design automation
	IEEE Computer Society Press Los Alamitos, CA, USA ©1994 table of contents ISBN:0-89791-685-9

Tools and Resources

Tags: algorithms design simulation verification verification vlsi