Design and use of a system-level specification and verification methodology

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Design and use of a system-level specification and verification methodology

Full text

Pdf (625 KB)

Source

European Design Automation Conference archive
Proceedings of the conference on European design automation table of contents

Brighton, England

Pages: 490 - 495

Year of Publication: 1995

ISBN:0-8186-7156-4

Authors

M. M. Kamal Hashmi	Design Automation Centre, High Performance Systems, ICL, Wenlock Way, Manchester, M12 5DR, U.K.
Alistair C. Bruce	Design Automation Centre, High Performance Systems, ICL, Wenlock Way, Manchester, M12 5DR, U.K.

Sponsor

SIGDA: ACM Special Interest Group on Design Automation

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 0, Citation Count: 6

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	G.P.Abraham, D.C. Freeth and H.Vosper: SX Design Processes, ICL Technical Journal Vol. 7 No. 2, 1990
	2	S.Hodgson: A Multi-Level, Mixed State Simulator for Hierarchical Design Verification, IEEE European Design Automation Conference 1984.
	3	IEEE Standard VHDL Language Reference Manual. IEEE Std 1076-1993, The Institute of Electrical and Electronic Engineers, New York, USA, 1994.
	4	A.Jebson, C.Jones and H.Vosper: CHISLE: An Engineer's tool for hardware system design, ICL Technical Journal Vol. 8 No. 3 May 1993.
	5	Steve Hodgson , Zak Shaar , Andy Smith, A high performance VHDL simulator for large systems design, Proceedings of the conference on European design automation, p.394-399, September 18-22, 1995, Brighton, England
	6	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985

CITED BY 6

	Benoit Clement , Richard Hersemeule , Etienne Lantreibecq , Bernard Ramanadin , Pierre Coulomb , Francois Pogodalla, Fast prototyping: a system design flow applied to a complex system-on-chip multiprocessor design, Proceedings of the 36th ACM/IEEE conference on Design automation, p.420-424, June 21-25, 1999, New Orleans, Louisiana, United States
	Dyson Wilkes , M. M. Kamal Hashmi, Application of high level interface-based design to telecommunications system hardware, Proceedings of the 36th ACM/IEEE conference on Design automation, p.778-783, June 21-25, 1999, New Orleans, Louisiana, United States
	Francois Pogodalla , Richard Hersemeule , Pierre Coulomb, Fast prototyping: a system design flow for fast design, prototyping and efficient IP reuse, Proceedings of the seventh international workshop on Hardware/software codesign, p.69-73, March 1999, Rome, Italy
	C. Schneider , W. Ecker, Stepwise refinement of behavioral VHDL specifications by separation of synchronization and functionality, Proceedings of the conference on European design automation, p.509-514, September 1996, Geneva, Switzerland
	Steve Hodgson , Zak Shaar , Andy Smith, A high performance VHDL simulator for large systems design, Proceedings of the conference on European design automation, p.394-399, September 18-22, 1995, Brighton, England
	Wolfgang Müller , Wolfgang Rosenstiel , Jürgen Ruf, References, SystemC: methodologies and applications, Kluwer Academic Publishers, Norwell, MA, 2003