Hardware/software selected cycle solution

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Hardware/software selected cycle solution

Full text

Pdf (314 KB)

Source

International Conference on Hardware Software Codesign archive
Proceedings of the 3rd international workshop on Hardware/software co-design table of contents

Grenoble, France

SESSION: Verification table of contents

Pages: 190 - 194

Year of Publication: 1994

ISBN:0-8186-6315-4

Author

John Wilson

Viewlogic/Vantage

Sponsors

: IFIP WG 10.5 in cooperation with WG 10.2
SIGSOFT: ACM Special Interest Group on Software Engineering
: The IEEE Computer Society Technical Committee on Software Engineering
SIGDA: ACM Special Interest Group on Design Automation
: The IEEE Computer Society Technical Committee on Design Automation

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

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

Additional Information:

cited by

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

CITED BY 6

	Donald E. Thomas , JoAnn M. Paul , Simon N. Peffers , Sandra J. Weber, Peer-based multithreaded executable co-specification, Proceedings of the seventh international workshop on Hardware/software codesign, p.105-109, March 1999, Rome, Italy
	Stephen Edwards , Luciano Lavagno , Edward A. Lee , Alberto Sangiovanni-Vincentelli, Design of embedded systems: formal models, validation, and synthesis, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
	Ken Hines , Gaetano Borriello, Dynamic communication models in embedded system co-simulation, Proceedings of the 34th annual conference on Design automation, p.395-400, June 09-13, 1997, Anaheim, California, United States
	Vincenza Carchiolo , Michele Malgeri , Guiseppe Mangioni, Hardware/software synthesis of formal specifications in codesign of embedded systems, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.5 n.3, p.399-432, July 2000
	Vincenza Carchiolo , Michele Malgeri , Giuseppe Mangioni, Approach to the Synthesis of HW and SW in Codesign, Proceedings of the 5th International Workshop on Hardware/Software Co-Design, p.173, March 24-26, 1997
	Maziar Goudarzi , Shaahin Hessabi , Naser MohammadZadeh , Nasim Zainolabedini, The ODYSSEY approach to early simulation-based equivalence checking at ESL level using automatically generated executable transaction-level model, Microprocessors & Microsystems, v.32 n.7, p.364-374, October, 2008

Adobe Acrobat

QuickTime

Windows Media Player

Real Player