CALLAS/OASIS: Combining Behavioral and Register-Transfer Synthesis Systems | IEEE Conference Publication | IEEE Xplore