By D. Agnew, L. Claesen, R. Camposano
Description languages (HDLs) have confirmed themselves as one of many crucial technique of designing digital structures. The curiosity in and utilization of HDLs maintains to unfold quickly, pushed via the expanding complexity of platforms, the expansion of HDL-driven synthesis, the learn on formal layout tools and lots of different comparable advances.
This research-oriented booklet goals to make a powerful contribution to extra advancements within the box. the subsequent themes are explored intensive: BDD-based process layout and research; process point formal verification; formal reasoning on undefined; languages for protocol specification; VHDL; HDL-based layout tools; excessive point synthesis; and text/graphical HDLs. There are brief papers masking complex layout seize and up to date paintings in excessive point synthesis and formal verification. additionally, a number of invited displays on key concerns talk about and summarize fresh advances in actual time procedure layout, automated verification of sequential circuits and languages for protocol specification