The design cube: a new model for VHDL designflow representation

VHDL-based communication and synchronization synthesis

EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation

A classification of design steps and their verification

EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation

Stepwise refinement of behavioral VHDL specifications by separation of synchronization and functionality

EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation

EWD: A metamodeling driven customizable multi-MoC system modeling framework

ACM Transactions on Design Automation of Electronic Systems (TODAES)