HENDERSON, Nev.--(BUSINESS WIRE)--Aldec announces the release of ALINT-PRO-CDC 2015.01 enabling verification of clock domain crossings and handling of metastability issues in complex, modern multi-clock designs.