%0 Conference Proceedings %F kountouris97 %A Kountouris, A. %A Wolinski, C. %T A Method for the Generation of HDL Code at the RTL level form a High-Level Formal Specification Language %B Proceedings of MWSCAS'97 %I IEEE Computer Society Press %C Sacramento %U ftp://ftp.irisa.fr/local/signal/publis/articles/MWSCAS-97:archi.ps.gz %8 August %D 1997