Domain-specific high-level modeling and synthesis for ATM switch design using VHDL | IEEE Conference Publication | IEEE Xplore