Correct Hardware Design and Verification Methods

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

Advances In Design Methods From Modeling Languages For Embedded Systems And Socs Selected Contributions On Specification Design And Verification From Fdl 2009

Computer Hardware Description Languages and Their Applications