System Level Design and Verification Using a Synchronous Language

Synchronous languages such as Esterel, Lustre, Signal, andothers were originally developed for safety-critical embedded software and compiled into C. They have recently been extended to hardware with new language features and compilers to RTL. Contrary to traditional HDL languages (Verilog, VHDL) an...

Full description

Saved in:

Bibliographic Details
Published in:	International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003 p. 433
Main Authors:	Berry, Gérard, Kishinevsky, Michael, Singh, Satnam
Format:	Conference Proceeding
Language:	English
Published:	Washington, DC, USA IEEE Computer Society 09.11.2003
Series:	ACM Conferences
Subjects:	Computer systems organization > Embedded and cyber-physical systems > Embedded systems Software and its engineering > Software notations and tools > Context specific languages > Specialized application languages Software and its engineering > Software notations and tools > General programming languages > Language types > Concurrent programming languages Software and its engineering > Software notations and tools > General programming languages > Language types > Distributed programming languages Software and its engineering > Software notations and tools > General programming languages > Language types > Parallel programming languages Software and its engineering > Software organization and properties > Software system structures > Embedded software Software and its engineering > Software organization and properties > Software system structures > Real-time systems software
ISBN:	9781581137620, 1581137621
ISSN:	1092-3152
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!