A new approach for an AHDL based on system semantics. - Youcef Bourai; Nouma Izeboudjen; Yacine Bouhabel; Amine Tafat (ASP-DAC, 1997)