System level design and verification using a synchronous language

Synchronous languages such as Esterel, Lustre, Signal, and others 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) a...

Celý popis

Podrobná bibliografie

Vydáno v:	2003 IEEE/ACM International Computer-Aided Design s. 433 - 439
Hlavní autoři:	Berry, G., Kishinevsky, M., Singh, S.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 2003
Témata:	Automata Communication system control Formal verification Hardware design languages Permission Protocols Signal design Software safety Space exploration System-level design
ISBN:	9781581137620, 1581137621
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!